Command line tool for model checking using LTL, CTL and CTL* formulas
ltl
model-checking
ctl
hacktoberfest
transition-systems
ctl-star
buchi-automaton
omega-regular-languages
-
Updated
Feb 5, 2024 - Java