Export Citations
2 Results for: Keyword: Verdi
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,835,719 records)|Limit your search to The ACM Full-Text Collection (773,857 records)
Select All
- research-articleJanuary 2016
Planning for change in a formal verification of the raft consensus protocol
CPP 2016: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and ProofsPages 154–165https://doi.org/10.1145/2854065.2854081We present the first formal verification of state machine safety for the Raft consensus protocol, a critical component of many distributed systems. We connected our proof to previous work to establish an end-to-end guarantee that our implementation ...
- research-articleJune 2015
Verdi: a framework for implementing and formally verifying distributed systems
PLDI '15: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 357–368https://doi.org/10.1145/2737924.2737958Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, drop, or duplicate packets. Further, their behavior is often too complex ...
Also Published in:
ACM SIGPLAN Notices: Volume 50 Issue 6
