Spot, a model checking library

EPITA
Research & Development
Laboratory

Spot website (LIP6)
Spot download (LIP6)

LRDE Website
Publications
- Papers
- Technical reports
Projects
- Olena
- Spot
- TigerCompiler
- Transformers
- Vaucanson

Spot is an object-oriented model checking library written in C++. It offers a set of bricks to experiment with and develop your own model checker based on transition-based generalized Büchi automata.

Spot was born in the MoVe team at LIP6 and is now co-maintained by the LRDE.

The Spot website: http://spot.lip6.fr/

Topic Spot . WebHome . { Edit | Attach | Ref-By | Printable | Diffs | More... }

Revision r1.14 - 19 Sep 2007 - 18:37 - AlexandreDuretLutz