arXiv 2008.09735
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
By Yanhong A. Liu and Scott D. Stoller
Published 2020-08-22
Citation lineage
Review the prior work and downstream research connected to this paper.
This paper presents a general framework and methods for complete programming and checking of distributed algorithms at a high-level, as in pseudocode languages, but precisely specified and directly executable, as in formal specification languages and practical programming languages, respectively. The checking framework, as well as the writing of distributed algorithms and specification of their safety and liveness p…