spotlogo64
(Spot Produces Our Traces)

1. Introduction

Spot is an object-oriented model checking library written in C++.

The website moved here.

2. News

2015-06-23

Spot 1.99.1 is out, get it on the new website.

2015-06-22

We are moving. The new website is now hosted at LRDE.

2015-04-06

Here are several ways to play with the development version of Spot.

2014-12-06
Spot 1.2.6 is out. This includes a set of small fixes.
2014-12-05

The GitRepository at LRDE is now managed by GitLab, and its URL changed. It is now https://gitlab.lrde.epita.fr/spot/spot.git

2014-08-21
Spot 1.2.5 is out. Some important LTL and PSL translation fixes and some new features for the command-line tools.
2014-05-15
Spot 1.2.4 is out. This maintenance release fixes some issues in the simplification of PSL formulas, translation of the fusion operator, and in the production of testing automata.
2014-02-11
Spot 1.2.3 is out. This is another maintenance release fixing minor issues, and improving statistics reported by our SAT-based minimization technique.
2014-01-24
Spot 1.2.2 is out. This maintenance release fixes a couple of bugs (mostly portability issues).
2013-12-11
Spot 1.2.1 is out. This release improves CSV output, and add CSV input support to several command-line tools.
2013-10-01

Spot 1.2 is out. This release adds support for deterministic Rabin and Streett automata (in ltl2dstar's format), SAT-based minimization of deterministic TGBA, and a few other goodies.

2013-07-29
Spot 1.1.4 is out. This is yet another maintenance release, fixing a couple of nits in ltlcross, and the translation of some PSL formulas.
2013-07-09
Spot 1.1.3 is out. This maintenance release fix a couple of bugs and add support for the new style of neverclaim output by Spin 6.24 and later.
2013-06-09
Spot 1.1.2 is out. This maintenance release contains two minor fixes, and some documentation cleanup.
2013-05-13
Spot 1.1.1 is out. This release fixes a couple of bugs, and introduce a few small features mainly to the command-line tools.
2013-04-28
Spot 1.1 is out. This release adds compositional suspension, SCC-based optimizations for the degeneralization (two features of described in a paper to appear at Spin'13), a check for stuttering invariant LTL formulas, and some statistics about automata strenghts in ltlcross.
2013-03-06
Spot 1.0.2 is out. This is another maintenance release, fixing a few bugs (the most important being in the web interface).
2013-01-23
Spot 1.0.1 is out. This maintenance releases addresses a couple of minor bugs uncovered in the past three months.
2012-10-27

Spot 1.0 is out. This release adds command-line user tools, reverse-simulation reduction, and support for testing automata.

2012-07-02

Spot 0.9.2 is out. This maintenance release fixes minor bugs, improves speed, and add support for ltl3ba to the web interface.

2012-05-23
Spot 0.9.1 is out. This maintenance release fixes a couple of bugs, and implements slight speedups to the Couvreur/FM translation.
2012-05-09
Spot 0.9 is out. This adds support for the linear-time fragment of PSL, and contains several improvements to the LTL translation.
2012-03-09
Spot 0.8.3 is out. This maintenance release contains more bug fixes and improves the web interface for ltl2tgba.
2012-01-19
Spot 0.8.2 is out. This maintenance release fixes a couple of bugs, and implements slight speedups to the degeneralization and the Safra complementation.
2011-12-18
Spot 0.8.1 is out. This release fixes a couple more bugs.
2011-11-28
Spot 0.8 is out. This release fixes several bugs reported over the past months, and add a couple of new features like the ability to read DiVinE models.
2011-02-07
Spot 0.7.1 is out. It fixes a bug in WDBA minimization and a couple of minor issues.
2011-02-01
Spot 0.7 is out. Highlight in this release includes some speed improvements and an algorithm to minimize weak deterministic B├╝chi automata (WDBA).
2010-04-16
Spot 0.6 is out. This release adds support for the W (weak until) and M (strong release) operator, and improve several LTL simplifications rules as well as the degeneralization algorithm.
2010-02-01
Spot 0.5 is out. This release contains more than two years worth of work. It includes new LTL translations algorithms, complementations algorithms, and several bug fixes.
2007-07-17

Spot 0.4 is out. These are mainly bug fixes, more LTL simplifications, and the emptiness check for our ACSD'07 paper.

2006-01-25

Spot 0.3 is out. These are mainly bug fixes, and Spot's on-line LTL-to-TGBA translator now offers options to compute accepting runs.

2005-04-08

Spot 0.2 is out. The main change is a new interface to pass EmptinessCheckOptions to the algorithms from the command line. (This is especially helpful with the emptiness-check benchmarks in directory bench/emptchk/.)

2005-01-31

Spot 0.1 is out. It includes implementations for several EmptinessCheckAlgorithms. CheckPn (0.0b) has been updated too.

SpotWiki (last edited 2015-06-23 11:16:51 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.