paultristanwagner / model-checking

Command line tool for model checking using LTL, CTL and CTL* formulas

Geek Repo

Github PK Tool