Parallel breadth-first search LTL model-checking - Barnat, J.; Brim, L.; Chaloupka, J. (18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 2003)
Keywords: Clustering algorithms; Computer networks; Concurrent computing; Explosions; Logic; Parallel algorithms; Reachability analysis; Software engineering; State-space methods; Workstations