WingNews logo WingNews
top | new | best | ask | show | jobs
top | item 38727355

(no title)

bugarela | 2 years ago

Hi! I wrote a blogpost exploring a formal specification in Quint [1] for the secret santa game, and verifying some of its properties with Apalache [2].

Hope you enjoy it, and any feedback is welcome. Happy holidays!

[1]: https://github.com/informalsystems/quint [2]: https://github.com/informalsystems/apalache

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com