Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
[beta] An experimental model checker for LTL written in Rust
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.
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
A Kripke structure modelling framework
A generic bounded model checker.
A small model checker for Computational Tree Logic
A teaching aid for concepts and algorithms in logic
Formal Modeling project M2
Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs
Symbolic CTL model checking over finite Kripke structures in pure Standard ML, using the vendored sml-bdd ROBDD library. Dual-compiler MLton + Poly/ML.
To associate your repository with the kripke-structure topic, visit your repo's landing page and select "manage topics."