3 ms·
Holiday protocols: secret santa with Quint
- bugarela 3y agoHi! 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 https://github.com/informalsystems/quint [2]: https://github.com/informalsystems/apalache https://github.com/informalsystems/apalache