MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Primary LanguageHaskellMIT LicenseMIT