Loading...
Please wait, while we are loading the content...
Similar Documents
Protocol Implementation Certification Agent Error P 0 Protocol Implementation Certification Agent Error P 1 Protocol Implementation Certification Agent Error P 3 External Input / Output Internal Messages Protocol Implementation Certification Agent Error P 2 Protocol Implementation Certification Agen
| Content Provider | Semantic Scholar |
|---|---|
| Author | Panda, Aurojit |
| Copyright Year | 2019 |
| Abstract | Ensuring the correctness of distributed system implementations remains a challenging and largely unaddressed problem. In this paper we present a protocol that can be used to certify the safety of consensus implementations. Our proposed protocol is efficient both in terms of the number of additional messages sent and their size, and is designed to operate correctly in the presence of nā 1 nodes failing in an n node distributed system (assuming fail-stop failures). We also comment on how our construction might be generalized to certify other protocols and invariants. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://arxiv-export-lb.library.cornell.edu/pdf/1903.03501 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |