Holiday protocols: secret santa with Quint (opens in new tab)

(github.com)

8 pointsbugarela2y ago1 comments

1 comments

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

j / k navigate · click thread line to collapse

Holiday protocols: secret santa with Quint (opens in new tab)

(github.com)

8 pointsbugarela2y ago1 comments

1 comments

bugarelaOP2y 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

j / k navigate · click thread line to collapse