Spot
From LRDE
Revision as of 17:39, 27 June 2018 by Alexandre Duret-Lutz (talk | contribs) (→LRDE publications related to Spot)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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, but since 2007 it is mainly developped by the LRDE, with some occasional collaborations with LIP6.
Please go to Spot's website for further information.
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}