Ten Years of Partial Order Reduction
Abstract elided by the publisher.
Related papers
- Ten Years of Hoare's Logic: A Survey - Part 1 TOPLAS 1981
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique CAV 2009
- A world of active objects for work and play: the first ten years of lively Onward! 2016
- Peephole Partial Order Reduction TACAS 2008
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays VMCAI 2016
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction VMCAI 2013