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><br>
+
<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 15:15, 20 November 2014


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.