DerYeger/MiniCheck

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

语言：Haskell · GitHub 星标：2 · Fork：0

话题：cli · ctl-formulas · haskell · haskell-application · ltl-formulas · model-checking · transition-systems · tu-wien

在 GitHub 上查看原仓库