ctl-formulas

There are 8 repositories under ctl-formulas topic.

jbretsch/modelcheck
A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.
Language:Java5 2 31
spidermoy/Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
Language:Haskell5 1 00
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language:Haskell5 1 00
rtsaad/mercury
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
Language:C3 3 00
DerYeger/MiniCheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Language:Haskell2 3 0
boginw/petrigaal
Petri Game Strategy Synthesis
Language:Java0 2 00
eldondanonino/Formal-Modeling-Mini-Project
Formal Modeling project M2
Language:JavaScript0 0 00
Realiserad/ctl-tester
Program for testing CTL formulas.
Language:Prolog3 0