Export Citations
1 Results for: Keyword: ranking function synthesis
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,816,101 records)|Limit your search to The ACM Full-Text Collection (772,232 records)
Select All
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions
Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue POPLArticle No.: 35, Pages 1028–1059https://doi.org/10.1145/3632877Distributed protocols have long been formulated in terms of their safety and liveness properties. Much recent work has focused on automatically verifying the safety properties of distributed protocols, but doing so for liveness properties has remained a ...
