[–] bugarela 2y 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
1 comment
[ 3.5 ms ] story [ 11.1 ms ] threadHope you enjoy it, and any feedback is welcome. Happy holidays!
[1]: https://github.com/informalsystems/quint [2]: https://github.com/informalsystems/apalache