Local State Space Analysis to Assist Partial Order Reduction

Hao Zheng, Yingying Zhang, Chris Myers

This paper presents an approach to more efficient partial order reduction for model checking concurrent systems. This approach utilizes a compositional reachability analysis to gen…