Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness.

Yanhong A. Liu, Scott D. Stoller

Browse the full RV paper archive.