GitHub topics: omega-regular-languages
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
phreppo/bait
A ω-regular language inclusion checker
Language: Java - Size: 227 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1
