Loading...
Please wait, while we are loading the content...
Similar Documents
Mechanical verification of a schematic byzantine clock synchronization algorithm
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Shankar, Natarajan |
| Copyright Year | 1991 |
| Description | Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol. |
| File Size | 3645734 |
| Page Count | 138 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19910018559 |
| Archival Resource Key | ark:/13960/t5v74bn7w |
| Language | English |
| Publisher Date | 1991-07-01 |
| Access Restriction | Open |
| Subject Keyword | Fault Tolerance Protocol Computers Algorithms Proving Synchronism Convergence Clocks Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
