Parallel Explicit State Reachability Analysis and State Space Construction

摘要

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.