Topic: "computation-tree-logic"
utwente-fmt/ltsmin
The LTSmin model checking toolset
Language: C - Size: 7.26 MB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 59 - Forks: 31
lip6/ITS-CTL 📦
CTL symbolic model-checker based on libDDD and libITS
Language: C - Size: 1.77 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 3
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language: Haskell - Size: 21.5 KB - Last synced at: 12 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
