net.bretti.modelcheck:modelcheck (maven): modelcheck is a 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.
Keywords: ctl|ctl-formulae|ctl-formulas|java|kripke-structure|model-checking|satisfies|satisfies-proposition