The formal verification of an algorithm for interactive consistency under a hybrid fault model

This publication has 7 references indexed in Scilit:

• Formal verification of algorithms for critical systems
  IEEE Transactions on Software Engineering, 1993
• Formal verification for fault-tolerant architectures: Some lessons learned
  Published by Springer Nature ,1993
• Machine checked proofs of the design of a fault-tolerant circuit
  Formal Aspects of Computing, 1992
• Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization
  Published by Springer Nature ,1992
• MJRTY—A Fast Majority Vote Algorithm
  Published by Springer Nature ,1991
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982
• Reaching Agreement in the Presence of Faults
  Journal of the ACM, 1980