Efficient On-the-Fly Model Checking for LTL and CTL★.
computer-science haskell logic ltl model-checking formal-methods ctl formal-verification computational-logic linear-temporal-logic computation-tree-logic haskell-programming ctl-formulas
-
Updated
Dec 21, 2019 - Haskell