Difference between revisions of "Spot"
From LRDE
| Line 2: | Line 2: | ||
| − | <center>[[File: |
+ | <center>[[File:spot.png|152px]]</center> |
<br><br> |
<br><br> |
||
Revision as of 16:13, 13 September 2013
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/