Difference between revisions of "Spot"
From LRDE
| Line 14: | Line 14: | ||
based on transition-based generalized Büchi automata. |
based on transition-based generalized Büchi automata. |
||
| − | Spot was born in the [http://www.lip6.fr/fr/recherche/team.php?id=720| MoVe team] at [http://www.lip6.fr/| LIP6] and is now co-maintained by the LRDE. |
+ | Spot was born in the [http://www.lip6.fr/fr/recherche/team.php?id=720| MoVe team] at [http://www.lip6.fr/ | LIP6] and is now co-maintained by the LRDE. |
<!-- SPOTINTROSTOP --> |
<!-- SPOTINTROSTOP --> |
||
Revision as of 17:21, 22 October 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/