NewsEntry (2016/04/11)

From LRDE

Title Spot 2.0 released
Sub-Title

Spot is a C++ library for model checking and manipulation of temporal logic formula and omega-automata. It also comes with command-line tools and Python bindings. Spot 2.0 is the result of 28 months of work, as we starting working on this branch after the release of Spot 1.2.1 (Dec 2013).

Date

2016/04/11