Difference between revisions of "Spot"

From LRDE

(Created page with "Category:Spot")
 
(Undo revision 127638 by Uli (talk))
Tag: Undo
 
(13 intermediate revisions by 5 users not shown)
Line 1: Line 1:
 
[[Category:Spot]]
  
[[Category:Spot]]
  +
  +
  +
<center>[[File:spot.png|152px]]</center>
  +
  +
<br><br>
  +
  +
<!--
  +
this text was included in Projects.WebHome and Lrde.AreaOfExpertise
  +
Be careful with the wiki word : use [[Spot.WebHome]] instead of Spot
  +
-->
  +
<!-- SPOTINTROSTART -->
  +
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 [http://www.lip6.fr/fr/recherche/team.php?id=720 MoVe team] at [http://www.lip6.fr/ LIP6], but since 2007 it is mainly developped by the LRDE, with some occasional collaborations with LIP6.
  +
<!-- SPOTINTROSTOP -->
  +
  +
Please go to [https://spot.lrde.epita.fr/ Spot's website] for further information.
  +
  +
<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
  +
| limit = 10
  +
| searchlabel =
  +
}}

Latest revision as of 10:27, 29 July 2022


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, 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.


LRDE publications related to Spot

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