Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model

This publication has 18 references indexed in Scilit:

• Interactive consistency with multiple failure modes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A formally verified algorithm for interactive consistency under a hybrid fault model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• NASA Langley's research program in formal methods
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• High Level Design Proof of a Reliable Computing Platform
  Published by Springer Nature ,1992
• A design approach for ultrareliable real-time systems
  Computer, 1991
• Consensus with dual failure modes
  IEEE Transactions on Parallel and Distributed Systems, 1991
• The MAFT architecture for distributed fault tolerance
  IEEE Transactions on Computers, 1988
• Synchronizing clocks in the presence of faults
  Journal of the ACM, 1985
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982
• SIFT: Design and analysis of a fault-tolerant computer for aircraft control
  Proceedings of the IEEE, 1978