GitHub / spidermoy / OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spidermoy%2FOnTheFly_ModelChecking
PURL: pkg:github/spidermoy/OnTheFly_ModelChecking
Stars: 5
Forks: 0
Open issues: 0
License: None
Language: Haskell
Size: 21.5 KB
Dependencies parsed at: Pending
Created at: about 6 years ago
Updated at: almost 2 years ago
Pushed at: over 5 years ago
Last synced at: 10 months ago
Topics: computation-tree-logic, computational-logic, computer-science, ctl, ctl-formulas, formal-methods, formal-verification, haskell, haskell-programming, linear-temporal-logic, logic, ltl, model-checking