NewsEntry (2016/04/11)
From LRDE
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 |