Explore projects

Debian package to distribute the divine binary patched for LTSmin.

Web server for Spot

Optimized tool for parallel Bounded model-checking problem

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