🗣️📞 Gossip Model Checking
-
Updated
Feb 1, 2024 - Haskell
🗣️📞 Gossip Model Checking
Symbolic Model Checker for the Gossip Problem
A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.
Add a description, image, and links to the gossip topic page so that developers can more easily learn about it.
To associate your repository with the gossip topic, visit your repo's landing page and select "manage topics."