Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- NewsEntry (2016/04/11) + (Spot is a C++ library for model checking a … Spot is a C++ library for model checking and manipulation</br>of temporal logic formula and omega-automata. It also</br>comes with command-line tools and Python bindings.</br>Spot 2.0 is the result of 28 months of work, as we starting working on</br>this branch after the release of Spot 1.2.1 (Dec 2013).fter the release of Spot 1.2.1 (Dec 2013).)