Efficient Symbolic Detection of Global Properties in Distributed Systems

Authors:
Scott D. Stoller;Yanhong A. Liu
Affiliations:
-;-
Venue:
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Year:
1998

Debugging distributed programs using controlled re-execution

Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Techniques to Tackle State Explosion in Global Predicate Detection

IEEE Transactions on Software Engineering
Detecting global predicates in distributed systems with clocks

Distributed Computing
Finding missing synchronization in a distributed computation using controlled re-execution

Distributed Computing
Snapshot verification

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Efficient model checking for LTL with partial order snapshots

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Hi-index	0.00