Title :
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model
Author :
Lincoln, Patrick ; Rushby, John
Keywords :
Algorithm design and analysis; Computer science; Contracts; Fault tolerance; Formal verification; Laboratories; Redundancy; Relays; Resilience; Stochastic processes;
Conference_Titel :
Fault-Tolerant Computing, 1995, Highlights from Twenty-Five Years., Twenty-Fifth International Symposium on
Print_ISBN :
0-8186-7150-5
DOI :
10.1109/FTCSH.1995.532669
