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...")
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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 |