GitHub topics: ctl-star
paultristanwagner/model-checking
Command line tool for model checking using LTL, CTL and CTL* formulas
Language: Java - Size: 562 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 10 - Forks: 0
spidermoy/Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
Language: Haskell - Size: 2.23 MB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
