Spot

From LRDE

Revision as of 16:15, 20 November 2014 by Olivier Ricou (talk | contribs) (ajout des publications de Spot)


Spot.png



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/


LRDE publications related to Spot

  • {{{2}}} — {{{3}}}
  • {{{2}}} — {{{3}}}
  • {{{2}}} — {{{3}}}
  • {{{2}}} — {{{3}}}
  • {{{2}}} — {{{3}}}
  • {{{2}}} — {{{3}}}

More news.

Retrieved from "https://www.lrde.epita.fr/index.php?title=Spot&oldid=10158"