Static Partial Order Reduction
No abstract available.
Related papers
- Constrained Dynamic Partial Order Reduction CAV 2018
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique CAV 2009
- Ten Years of Partial Order Reduction CAV 1998
- 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
- Combining Partial Order Reductions with On-the-fly Model-Checking CAV 1994
- Relaxed Visibility Enhances Partial Order Reduction CAV 1997