MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
