kripke-structure

There are 8 repositories under kripke-structure topic.

erohkohl/mlsolver
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
Language:Python59 9 2912
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
NotBad4U/mcltl-rs
[beta] An experimental model checker for LTL written in Rust
Language:Rust5 2 02
vittau/kripfy
A Kripke structure modelling framework
Language:TypeScript5 1 01
Guigui14460/multi-agents-knowledge-based-programs-interpreter
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
Language:Java4 2 00
danielbinder/LogiVis
A teaching aid for concepts and algorithms in logic
Language:Java2 1 290
yepengding/Kiwami
A generic bounded model checker.
Language:Java2 2 00
eldondanonino/Formal-Modeling-Mini-Project
Formal Modeling project M2
Language:JavaScript0 0 00