Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness (Conference Paper) | NSF PAGES

skip to main content

Citation Details

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

Award ID(s):: 1954837 1414078 1421893

NSF-PAR ID:: 10231081

Author(s) / Creator(s):: Liu, Yanhong A.; Stoller, Scott D.

Date Published:: 2020-01-01

Journal Name:: Proceedings of the 20th International Conference on Runtime Verification (RV 2020)

Page Range / eLocation ID:: 47-66

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1007/978-3-030-60508-7_3