Special

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.

Search by property

A list of all pages that have property "Job field" with value "The Spot library (https://spot.lrde.epita.fr/), written in C++11, offers several algorithms and data structures to build model checkers. It contains many algorithms for handling linear-time temporal logic (LTL) formulas, or for different variants of Büchi automata. Spot also distributes several command-line tools, built on top of the library. Finally, Spot includes some Python bindings, as well as a web interface (https://spot.lrde.epita.fr/trans.html) for easy access to one of the features of the library.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • Jobs/M2 2015 ADL Python Interfaces for Spot  + (The Spot library (https://spot.lrde.epita. … The Spot library (https://spot.lrde.epita.fr/), written in C++11, offers several algorithms and data structures to build model checkers.</br>It contains many algorithms for handling linear-time temporal logic (LTL) formulas, or for different variants of Büchi automata. Spot</br>also distributes several command-line tools, built on top of the library. Finally, Spot includes some Python bindings, as well as a </br>web interface (https://spot.lrde.epita.fr/trans.html) for easy access to one of the features of the library.ess to one of the features of the library.)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty"