Parallel explicit state reachability analysis and state space construction

D. Petcu
DOI: https://doi.org/10.1109/ISPDC.2003.1267665
2003-10-13
Abstract:An improvement is proposed for the algorithm described in [3] which allows the construction of the state space associated to a system. The improvement concerns the load balancing strategy. Different message-passing implementations on a cluster of workstations are also discussed.
What problem does this paper attempt to address?