Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Abstract elided by the publisher.
Related papers
- Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking VMCAI 2022
- Truly stateless, optimal dynamic partial order reduction POPL 2022
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata TACAS 2010
- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata TACAS 2004
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction TACAS 2011
- A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) CAV 1998
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021