A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)
Primary LanguagePython
No issues in this repository yet.