ctl-formulas

There are 0 repository under ctl-formulas topic.

spidermoy / OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
model-checking ltl ctl ctl-formulas linear-temporal-logic computation-tree-logic haskell haskell-programming computer-science logic computational-logic formal-verification formal-methods
Language:Haskell 5
spidermoy / Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
unam model-checking haskell computer-science computer-science-degree ltl ctl ctl-star ctl-formulas ltl-formulas formal-methods
Language:Haskell 4
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.
model-checking ctl java kripke-structure ctl-formulae ctl-formulas satisfies-proposition satisfies
Language:Java 3
rtsaad / mercury
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
formal-verification model-checking model-checker formal-methods parallel-computing c ctl-formulas probabilistic reachability-analysis multicore
Language:C 3
DerYeger / MiniCheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
cli ctl-formulas haskell haskell-application ltl-formulas model-checking transition-systems tu-wien
Language:Haskell 2
boginw / petrigaal
Petri Game Strategy Synthesis
ctl ctl-formulas model-checking synthesis strategy petri-nets petri-games
Language:Java 0
eldondanonino / Formal-Modeling-Mini-Project
Formal Modeling project M2
ctl-formulas kripke-structure formal-models
Language:JavaScript 0
Realiserad / ctl-tester
Program for testing CTL formulas.
ctl-formulas proof-checker
Language:Prolog