Discover projects, groups and snippets. Share your projects with others
Vcsn is a finite state machine manipulation platform, consisting of a templated C++ library, a dynamic C++ API, and Python GUI.
The original version of Vaucanson. You should rather use Vcsn now.
Online application for rewriting LTL formula or translating them into automata.
Web server for Spot
C++14 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
Debian packaging of Spins (from LTSmin)
Student templates for SCALAIN-E
Builds the docker image that runs on spot-sandbox.lrde.epita.fr.
Code sample for paper at repo: https://gitlab.lrde.epita.fr/carlinet/roynard.2020.icip