Python Package Model Checking Toolkit
Symbolic Model Checker for the Gossip Problem
Binary Decision Diagram Package using a Chord-Based Distributed Hash Table
Symbolic CTL model checking over finite Kripke structures in pure Standard ML, using the vendored sml-bdd ROBDD library. Dual-compiler MLton + Poly/ML.
Zero-allocation Binary Decision Diagrams (OBDD) for Go — full Buddy parity with off-heap memory, level indirection, distinct types, and modal logic integration.
Add a description, image, and links to the symbolic-model-checking topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-model-checking topic, visit your repo's landing page and select "manage topics."