A Pragmatic Approach to Stateful Partial Order Reduction
Abstract elided by the publisher.
Related papers
- Revisiting Stateful Partial-Order Reduction TACAS 2026
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction VMCAI 2013
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems TACAS 2000
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997
- A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics TOPLAS 1992
- Bounded partial-order reduction OOPSLA 2013
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Dynamic partial-order reduction for model checking software POPL 2005