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
Discussion
Read the public discussion and references gathered around 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…