State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
Abstract elided by the publisher.
Related papers
- Bounded partial-order reduction OOPSLA 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
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Dynamic partial-order reduction for model checking software POPL 2005
- Value-centric dynamic partial order reduction OOPSLA 2019
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels PLDI 2023