Parallel Explicit Model Checking for Generalized Büchi Automata
Abstract elided by the publisher.
Related papers
- Truly On-the-Fly LTL Model Checking TACAS 2005
- Efficient Model Checking Via Büchi Tableau Automata CAV 2001
- Bounded Model Checking for Weak Alternating Büchi Automata CAV 2006
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Efficient Emptiness Check for Timed Büchi Automata CAV 2010
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction CAV 2013
- Modular Mix-and-Match Complementation of Büchi Automata TACAS 2023
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021