Exploiting Symmetry for Analysis of Distributed Systems

Abstract

Distributed systems are diicult to design and the simplest of them can have subtle errors. Conventional automatic analysis techniques to catch these errors may be infea-sible because the system may have a large, or even an unknown, number of processes. These techniques, which are based on state space exploration, run into the state explosion problem. Since… (More)

Topics

Cite this paper

@inproceedings{Garg2011ExploitingSF, title={Exploiting Symmetry for Analysis of Distributed Systems}, author={Vijay K. Garg}, year={2011} }