E cient Symbolic Detection of Global Properties in Distributed Systems

Abstract

A new approach is presented for detecting whether a computation of an asynchronous distributed system satis es Poss (read \possibly "), meaning the system could have passed through a global state satisfying property . Previous general-purpose algorithms for this problem explicitly enumerate the set of global states through which the system could have passed… (More)

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Stoller2000ECS, title={E cient Symbolic Detection of Global Properties in Distributed Systems}, author={Scott D. Stoller and Yanhong A. Liu}, year={2000} }