A formally verified algorithm for interactive consistency under a hybrid fault model
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 402-411
- https://doi.org/10.1109/ftcs.1993.627343
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Interactive consistency with multiple failure modesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal verification of algorithms for critical systemsIEEE Transactions on Software Engineering, 1993
- Formal verification for fault-tolerant architectures: Some lessons learnedPublished by Springer Nature ,1993
- Machine checked proofs of the design of a fault-tolerant circuitFormal Aspects of Computing, 1992
- Consensus with dual failure modesIEEE Transactions on Parallel and Distributed Systems, 1991
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- An efficient algorithm for byzantine agreement without authenticationInformation and Control, 1982
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980