Partial-Order Reduction in Symbolic State Space Exploration
No abstract available.
Related papers
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023
- Bounded partial-order reduction OOPSLA 2013
- Dynamic partial-order reduction for model checking software POPL 2005
- Truly stateless, optimal dynamic partial order reduction POPL 2022
- Value-centric dynamic partial order reduction OOPSLA 2019
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- 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