DocumentCode
2338389
Title
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model
Author
Lincoln, Patrick ; Rushby, John
fYear
1995
fDate
27-30 Jun 1995
Firstpage
438
Keywords
Algorithm design and analysis; Computer science; Contracts; Fault tolerance; Formal verification; Laboratories; Redundancy; Relays; Resilience; Stochastic processes;
fLanguage
English
Publisher
ieee
Conference_Titel
Fault-Tolerant Computing, 1995, Highlights from Twenty-Five Years., Twenty-Fifth International Symposium on
Print_ISBN
0-8186-7150-5
Type
conf
DOI
10.1109/FTCSH.1995.532669
Filename
532669
Link To Document