paultristanwagner/model-checking

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

Java