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 14:54, 29 July 2013


152px



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/