Spot
From LRDE
Revision as of 17:21, 22 October 2013 by Daniela Becker (talk | contribs)
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/