Explore projects

C++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.

Python bindings of Pylene (in development)

The point of this tool is to learn a Computation Tree Logic (CTL) formula that separates a set of positive and negative Kripke structures, i.e. is verified by the former but not the latter. For more details, please read the companion article: http://arxiv.org/abs/2402.06366

Debian package to distribute the divine binary patched for LTSmin.

Optimized tool for parallel Bounded model-checking problem

PaInleSS: a Framework for Parallel SAT Solving.

Add macro to detect whether an expression is compile-time.

Metaprogramming toolbox to do blackmagic in c++17

Conan packaging for https://github.com/pybind/pybind11

Petri-Net model checker (obsolete demo for Spot)

Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.

See http://vcsn.lrde.epita.fr.