Efficient On-the-Fly Model Checking for LTL and CTL★.
Primary LanguageHaskell
No issues in this repository yet.