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 2019 MC Spot Distribued + (Étienne Renault)
- Jobs/M2 2017 MC Spot demo + (Alexandre Duret-Lutz)
- Jobs/PHD 2019 omegaGPU + (Étienne Renault)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Anissa Kheireddine)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (Anissa Kheireddine)
- Tuning SAT Solvers for LTL Model Checking + (Anissa Kheireddine)
- LTL Model Checking with Neco + (Łukasz Fronc)