NewsEntry (2016/02/19)
From LRDE
Revision as of 11:55, 12 April 2016 by Daniela Becker (talk | contribs)
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 started working on this branch after the release of Spot 1.2.1 (Dec 2013). |
Date | 2016/04/12 |