Topic: "kripke-structure"
erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
Language: Python - Size: 3.54 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 52 - Forks: 10
NotBad4U/mcltl-rs
[beta] An experimental model checker for LTL written in Rust
Language: Rust - Size: 614 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 2
vittau/kripfy
A Kripke structure modelling framework
Language: TypeScript - Size: 2.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
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: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
danielbinder/LogiVis
A teaching aid for concepts and algorithms in logic
Language: Java - Size: 15.5 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0
yepengding/Kiwami
A generic bounded model checker.
Language: Java - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
JJWRoeloffs/minictl
A small model checker for Computational Tree Logic
Language: Rust - Size: 128 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1
Guigui14460/multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
Language: Java - Size: 1.34 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
Metroidzeta/Model-Checker-CTL
Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs
Language: Java - Size: 76.2 KB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 0 - Forks: 0
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
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
