Difference between revisions of "Spot"
From LRDE
(Created page with "Category:Spot") |
|||
| Line 1: | Line 1: | ||
[[Category:Spot]] |
[[Category:Spot]] |
||
| + | |||
| + | |||
| + | <center>[[File:spot_.png|152px]]</center> |
||
| + | |||
| + | <br><br> |
||
| + | |||
| + | <!-- |
||
| + | this text was included in Projects.WebHome and Lrde.AreaOfExpertise |
||
| + | Be careful with the wiki word : use [[Spot.WebHome]] instead of Apmc |
||
| + | --> |
||
| + | <!-- SPOTINTROSTART --> |
||
| + | 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 [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 --> |
||
| + | |||
| + | The Spot website: http://spot.lip6.fr/ |
||
| + | |||
| + | <br><br> |
||
Revision as of 15:54, 29 July 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/