Exploiting Symmetry for Analysis of Distributed Systems


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)


Cite this paper

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