1 citations · 1 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking
Hao Zheng, Andrew Price, Chris Myers
The enormous number of states reachable during explicit model checking is the main bottleneck for scalability. This paper presents approaches of using decision diagrams to represen…
cs.SE2020
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…