Difference between revisions of "Spot"
From LRDE
(ajout des publications de Spot) |
|||
| Line 19: | Line 19: | ||
The Spot website: http://spot.lip6.fr/ |
The Spot website: http://spot.lip6.fr/ |
||
| − | + | <br> |
|
| + | |||
| + | == LRDE publications related to Spot == |
||
| + | |||
| + | {{#ask: [[Category:SpotNews]] OR [[Category:Publications]] [[Published has news::true]] [[Related project::Spot]] |
||
| + | | ?News title=title |
||
| + | | ?News subtitle=subtitle |
||
| + | | ?News date#MEDIAWIKI=date |
||
| + | | format = ul |
||
| + | | template = ShortNewsItem |
||
| + | | order = descending |
||
| + | | sort = News date |
||
| + | | named args = yes |
||
| + | | limit = 6 |
||
| + | | searchlabel = |
||
| + | }} |
||
| + | |||
| + | [[Spot/News|More news]]. |
||
Revision as of 16:15, 20 November 2014
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/
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}
- {{{2}}} — {{{3}}}