Explore projects

Web server for Spot

Emacs support for features related to Spot.

Debian packaging of Spins (from LTSmin)

Python bindings of Pylene (in development)

Debian package to distribute the divine binary patched for LTSmin.

Student templates for SCALAIN-E

Optimized tool for parallel Bounded model-checking problem

Image dedicated to lrde/share repository tests.

PaInleSS: a Framework for Parallel SAT Solving.