Parallel symbolic state-space exploration is difficult, but what is the alternative?

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin

State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model descr…