Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions
Distributed, Parallel, and Cluster Computing
2009-01-05 v1 Software Engineering
Abstract
In this work we propose techniques for efficient reachability analysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based reductions in a distributed setting. The proposed techniques are focused towards explicit state space enumeration based model-checkers like SPIN. We consider variants for both depth-first as well as breadth-first based generation of the reduced state graphs on-the-fly.
Cite
@article{arxiv.0901.0179,
title = {Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions},
author = {Janardan Misra and Suman Roy},
journal= {arXiv preprint arXiv:0901.0179},
year = {2009}
}