NewsEntry (2016/04/11)
From LRDE
Revision as of 12:03, 12 April 2016 by Daniela Becker (talk | contribs) (Created page with "{{News |title=[https://www.lrde.epita.fr/wiki/Spot Spot] 2.0 released |subtitle=Spot is a C++ library for model checking and manipulation
of temporal logic formula and omega...")
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 |