Publication Type |
technical report |
School or College |
College of Engineering |
Department |
Computing, School of |
Program |
Advanced Research Projects Agency |
Creator |
Sivaraj, Hemanthkumar; Gopalakrishnan, Ganesh |
Title |
Random walk based heuristic algorithms for distributed memory model checking |
Date |
2003-01-29 |
Description |
Model checking techniques suffer from the state space explosion problem: as the size of the system being verified increases, the total state space of the system increases exponentially. Some of the methods that have been devised to tackle this problem are partial order reduction, symmetry reduction, hash compaction, selective state caching, etc. One approach to the problem that has gained interest in recent years is the parallelization of model checking algorithms. A random walk on the state space has some nice properties, the most important of which is the fact that it lends itself to being parallelized in a natural way. Random walk is a low overhead and a partial search method. Breadth first search, on the other hand, is a high overhead and a full search technique. In this article, we propose various heuristic algorithms that combine random walks on the state space with bounded breadth first search in a parallel context. These algorithms are in the process of being incorporated into a distributed memory model checker. |
Type |
Text |
Publisher |
University of Utah |
Subject |
Model checking; Distributed memory |
Subject LCSH |
Random walks (Mathematics); Heuristic algorithms |
Language |
eng |
Bibliographic Citation |
Sivaraj, Hemanthkumar; Gopalakrishnan, Ganesh (2003). Random walk based heuristic algorithms for distributed memory model checking. UUCS-03-001. |
Series |
University of Utah Computer Science Technical Report |
Relation is Part of |
ARPANET |
Rights Management |
©University of Utah |
Format Medium |
application/pdf |
Format Extent |
119,114 bytes |
Source |
University of Utah School of Computing |
ARK |
ark:/87278/s6f76x46 |
Setname |
ir_uspace |
ID |
706645 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6f76x46 |