Difference between revisions of "Spot"

From LRDE

(more text about the upcoming 2.0 version and link to development snapshots)
(3 intermediate revisions by one other user not shown)
Line 17: Line 17:
 
<!-- SPOTINTROSTOP -->
 
<!-- SPOTINTROSTOP -->
   
  +
Please go to [https://spot.lrde.epita.fr/ Spot's website] for further information.
The current stable version of Spot (1.2.x) is available from http://spot.lip6.fr/. However [https://gitlab.lrde.epita.fr/spot/spot/wikis/DevSnapshots the current development version] has so many major changes (including important changes to the API, now written in C++11, support for arbitrary omega-acceptance conditions, support for the [http://adl.github.io/hoaf/ Hanoi Omega Automata Format], command-line tools for automata manipulation, better Python bindings) that the next version will be called Spot 2.0 once it is polished enough. [https://gitlab.lrde.epita.fr/spot/spot/wikis/DevSnapshots The current development version] is fully functionnal, and as long as you do not rely on the C++ API you should be sage in using this version. The C++ API is still due some important changes, so we recommand not upgrading to it yet if you have some code compatible with 1.2.x.
 
   
 
<br>
 
<br>
Line 31: Line 31:
 
| order = descending
 
| order = descending
 
| sort = News date
 
| sort = News date
| named args = yes
+
| limit = 10
| limit = 6
 
 
| searchlabel =
 
| searchlabel =
 
}}
 
}}

Revision as of 10:51, 26 July 2018


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