GitLab

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

Clojure implementation of rational type expressions

Optimized tool for parallel Bounded model-checking problem

PaInleSS: a Framework for Parallel SAT Solving.

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

Web server for Spot

Debian package to distribute the divine binary patched for LTSmin.

Builds the docker image that runs on spot-sandbox.lrde.epita.fr.

Dockerfiles for constructing build environments for Spot

Everything on my master internship from my return to Paris the 2 june. I have problems concerning the original project because of very heavy data files in the repository history, that's why I'm starting a new one. I'll try to keep this one cleaner!

Debian packaging of Spins (from LTSmin)

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