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 teaching aid for concepts and algorithms in logic
A small model checker for Computational Tree 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.
Add a description, image, and links to the kripke-structure topic page so that developers can more easily learn about it.
To associate your repository with the kripke-structure topic, visit your repo's landing page and select "manage topics."