View source for NewsEntry (2016/02/19)

{{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-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
}}