jbretsch / modelcheck Goto Github PK
View Code? Open in Web Editor NEWA Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.
License: MIT License