GitHub topics: ctl-formulas
JJWRoeloffs/minictl
A small model checker for Computational Tree Logic
Language: Rust - Size: 128 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1
AskarAbdullaev/pylogex
Python utilities for studying logic including Finite Automata, Oracles, Kripke Structures, Process Algebra, LTL, CTL, Petri Nets, Propositional Logic, BCP, DPLL, Resolution, Blocked Clauses, Equational Reasoning, Term Matching, Term Reduction, Critical Pairs, Knuth-Bendix Completion, etc.
Language: Jupyter Notebook - Size: 1.51 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
spidermoy/Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
Language: Haskell - Size: 2.23 MB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
DerYeger/MiniCheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Language: Haskell - Size: 531 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language: Haskell - Size: 21.5 KB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
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: Java - Size: 172 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
eldondanonino/Formal-Modeling-Mini-Project Fork of QuentinFelten/FormalModeling_MiniProjet
Formal Modeling project M2
Language: JavaScript - Size: 1.5 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Realiserad/ctl-tester
Program for testing CTL formulas.
Language: Prolog - Size: 110 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
boginw/petrigaal
Petri Game Strategy Synthesis
Language: Java - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
rtsaad/mercury
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
Language: C - Size: 600 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
