Quickspec & Bugmark Simulations

[Andy L]

Here's an interesting talk and paper on Quickspec a "theory exploration tool":

https://www.youtube.com/watch?v=922GilQEvXo&utm_source=dlvr.it&utm_medium=twitter

http://www.cse.chalmers.se/~algehed/papers/quickspec-JFP.pdf

Related: Elixir community is developing nice tooling for "property testing"

https://elixir-lang.org/blog/2017/10/31/stream-data-property-based-testing-and-data-generation-for-elixir/

Perhaps these techniques could be used in the future, in simulation bots to better understand and characterize Bugmark trading dynamics.