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
- Combining Parallel Emptiness Checks with Partial Order Reductions +
- Contribution aux tests de vacuité pour le model checking explicite +
- From Spot 2.0 to Spot 2.10: What's New? +
- Go2Pins: A Framework for the LTL Verification of Go Programs +
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) +
- Heuristics for Checking Liveness Properties with Partial Order Reductions +
- Improving Parallel State-Space Exploration Using Genetic Algorithms +
- Improving swarming using genetic algorithms +
- Jobs/M2 2016 ER Multi-core for Spot +
- LTL under reductions with weaker conditions than stutter invariance +
- Parallel Explicit Model Checking for Generalized Büchi Automata +
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
- People/Etienne Renault +
- Spot 2.0 — a framework for LTL and ω-automata manipulation +
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking +
- Three SCC-based Emptiness Checks for Generalized Büchi Automata +
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata +