A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique CAV 2009
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware TACAS 2020
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023
- Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract) CAV 1993
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025