Skip to topic | Skip to bottom
Home
Spot
Create personal sidebar
Spot.WebHomer1.14 - 19 Sep 2007 - 18:37 - AlexandreDuretLutztopic end
Start of topic | Skip to actions




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/




to top

End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.14 | > | r1.13 | > | r1.12 | Total page history | Backlinks
You are here: Spot > WebHome

to top

Copyright © 1999-2010 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback