Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions

Janardan Misra, Suman Roy

In this work we propose techniques for efficient reachability analysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based re…