Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems
Abstract elided by the publisher.
Related papers
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction VMCAI 2013
- Partial-Order Reduction in Symbolic State Space Exploration CAV 1997
- Bounded partial-order reduction OOPSLA 2013
- Verifying Asynchronous Interactions via Communicating Session Automata CAV 2019
- Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems CAV 1990
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems CAV 2018
- 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