Creator | Title | Description | Subject | Date | ||
---|---|---|---|---|---|---|
1 | Sivaraj, Hemanthkumar; Gopalakrishnan, Ganesh | Random walk based heuristic algorithms for distributed memory model checking | 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 reducti... | Model checking; Distributed memory | 2003-01-29 |