High Level Design Proof of a Reliable Computing Platform

This publication has 6 references indexed in Scilit:

• Formal verification of safety-critical systems
  Software: Practice and Experience, 1990
• Distributed fault-tolerant real-time systems: the Mars approach
  IEEE Micro, 1989
• Towards a theory of replicated processing
  Published by Springer Nature ,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
• FTMP—A highly reliable fault-tolerant multiprocess for aircraft
  Proceedings of the IEEE, 1978