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
- A Portable, Simple, Embeddable Type System +
- A Promela front-end for Spot +
- A new translation from LTL into TGBA in Spot +
- Amélioration de la dégénéralisation dans Spot +
- Bisimulation-based Reductions on TGBA +
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata +
- Combining Parallel Emptiness Checks with Partial Order Reductions +
- Complementing Büchi Automata +
- Complementing Büchi Automata With Alternating Automata +
- Compositional Approach to Suspension and Other Improvements to LTL Translation +
- Contribution aux tests de vacuité pour le model checking explicite +
- Direct-Simulation Reduction for TGBA +
- Décomposition d'un automate de Büchi Généralisé multi-force +
- Energy Problems in Finite and Timed Automata with Büchi Conditions +
- Explicit State Model Checking with Generalized Büchi and Rabin Automata +
- Extending Testing Automata to All LTL +
- From Spot 2.0 to Spot 2.10: What's New? +
- Front-end Promela dans Spot +
- Generalized Büchi Automata versus Testing Automata for Model Checking +
- 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 degeneralization in Spot +
- Improving swarming using genetic algorithms +
- Improving the Model Checking of Stutter-Invariant LTL Properties +
- Is There a Best Büchi Automaton for Explicit Model Checking? +
- Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates +
- Jobs/M2 2015 ADL Python Interfaces for Spot +
- Jobs/M2 2015 ADL SAT-based Minimization +
- Jobs/M2 2016 ER Multi-core for Spot +
- Jobs/M2 2017 MC Spot Generic Acc +
- Jobs/M2 2017 MC Spot demo +
- Jobs/M2 2019 MC Spot Distribued +
- Jobs/M2 ADL 2015 General Acceptance Condition +
- Jobs/PHD 2019 LDL +
- Jobs/PHD 2019 omegaGPU +
- Jobs/PHD 2019 omegalgo +
- LTL Model Checking for Communicating Concurrent Programs +
- LTL Model Checking with Neco +
- LTL Translation Improvements in Spot +
- LTL Translation Improvements in Spot 1.0 +
- LTL under reductions with weaker conditions than stutter invariance +
- La complémentation d'automates de Büchi +
- La complémentation d'automates de Büchi à travers des automates alternants +
- Manipulating LTL formulas using Spot 1.0 +
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
- Model Checking using Generalized Testing Automata +
- Model checking with generalized Rabin and Fin-less automata +
- Nondeterminisation of alternating automata in SPOT +