Revisiting Stateful Partial-Order Reduction
No abstract available.
Related papers
- 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
- A Pragmatic Approach to Stateful Partial Order Reduction VMCAI 2023
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997
- 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
- Unblocking Dynamic Partial Order Reduction CAV 2023