marcusm117 / mctk Star 5 Code Issues Pull requests Discussions Python Package Model Checking Toolkit python verification model-checking formal-verification bounded-model-checking symbolic-model-checking Updated Feb 5, 2024 Python
Pathemeous / Symbolic-Gossip Star 2 Code Issues Pull requests Symbolic Model Checker for the Gossip Problem logic model-checking gossip del symbolic-model-checking dynamic-epistemic-logic Updated Jun 2, 2024 Haskell
scrose / chordBDD Star 1 Code Issues Pull requests Binary Decision Diagram Package using a Chord-Based Distributed Hash Table binary-decision-diagrams chord-protocol symbolic-model-checking distributed-hash-tables Updated Jul 3, 2021 Scala