Efficient symbolic detection of global properties in distributed systems (1998) [4 citations — 2 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Stoller98efficientsymbolic,author = {Scott D. Stoller and Yanhong A. Liu},
title = {Efficient symbolic detection of global properties in distributed systems},
booktitle = {Proc. 10th Int'l. Conference on Computer-Aided Verification (CAV), volume 1427 of Lecture Notes in Computer Science},
year = {1998},
pages = {357--368},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Abstract. A new approach is presented for detecting whether a computation of an asynchronous distributed system satisfies Poss \Phi (read "possibly \Phi"), meaning the system could have passed through a global state satisfying property \Phi. Previous general-purpose algorithms for this problem explicitly enumerate the set of global states through which the system could have passed during the computation. The new approach is to represent this set symbolically, in particular, using ordered binary decision diagrams. We describe an implementation of this approach, suitable for off-line detection of properties, and compare its performance to the enumeration-based algorithm of Alagar & Venkatesan. In typical cases, the new algorithm is significantly faster. We have measured over 400-fold speedup in some cases. 1
