NewsEntry (2016/04/11)

From LRDE

Revision as of 12:03, 12 April 2016 by Daniela (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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