
Spot
A model checking library. Spot offers many algorithms and tools that manipulate LTL/PSL formulas and omega-automata with state-based or transition-based acceptance.
Migration du gitlab : si vous constatez des problèmes suite à la migration, n'hésitez pas à ouvrir un ticket ici: https://gitlab.lre.epita.fr/lre/ticket-prod/-/issues
A model checking library. Spot offers many algorithms and tools that manipulate LTL/PSL formulas and omega-automata with state-based or transition-based acceptance.