Combining Partial Order Reductions with On-the-fly Model-Checking
Abstract elided by the publisher.
Related papers
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions CAV 2006
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- SPORE: Combining Symmetry and Partial Order Reduction PLDI 2024
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Formal Verification of a Partial-Order Reduction Technique for Model Checking TACAS 1996
- Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking VMCAI 2022
- Dynamic partial-order reduction for model checking software POPL 2005