Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster. Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. In Dominique Borrione, Wolfgang J. Paul, editors, Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings. Volume 3725 of Lecture Notes in Computer Science, pages 129-145, Springer, 2005. [doi]
Abstract is missing.