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
- Jobs/M2 2016 ER Multi-core for Spot + (The Spot library (https://spot.lrde.epita. … The Spot library (https://spot.lrde.epita.fr/) written in C++11 offers several</br>algorithms and data structures to build model checkers. Such a tool</br>checks whether the model of a system meets a given specification. </br>One way to perform this verification is to encode both the specification </br>and the model as omega-automata, build the synchronous product </br>of the two previous automata and finally check wether the product </br>automaton has an empty language. This last operation is called </br>an emptiness check and deals with automata of millions of </br>states and transitions.</br></br>Recently many parallel emptiness checks have been proposed, each of </br>them having strengths an weakness. Nonetheless it is still unknown if one </br>of them outperform the others. Indeed, since all these algorithms are implemented </br>in different tools, a fair comparison is impossible.nt tools, a fair comparison is impossible.)