Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract elided by the publisher.
Related papers
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997
- A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) CAV 1998
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware TACAS 2020
- Symbolic Partial-Order Execution for Testing Multi-Threaded Programs CAV 2020
- Optimal Dynamic Partial Order Reduction with Observers TACAS 2018
- Formal Verification of a Partial-Order Reduction Technique for Model Checking TACAS 1996
- Optimal dynamic partial order reduction POPL 2014
- Partial Order Reductions for Security Protocol Verification TACAS 2000