spidermoy/OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.

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

话题：computation-tree-logic · computational-logic · computer-science · ctl · ctl-formulas · formal-methods · formal-verification · haskell

在 GitHub 上查看原仓库