Explore projects

Web server for Spot

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

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

Online application for rewriting LTL formula or translating them into automata.

Dockerfiles for constructing build environments for Spot

PaInleSS: a Framework for Parallel SAT Solving.

This is an open solution to the https://endocv.grand-challenge.org/

Petri-Net model checker (obsolete demo for Spot)