Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking

Hemanthkumar Sivaraj, Ganesh Gopalakrishnan. Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Electronic Notes in Theoretical Computer Science, 89(1):51-67, 2003. [doi]

Abstract

Abstract is missing.