Parallel explicit state reachability analysis and state space construction
Dana Petcu · 2004
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. 1.