Design strategy for a formally verified reliable computing platform
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A performance assessment of a byzantine resilient fault-tolerant computerPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1989
- A performance evaluation of the software-implemented fault-tolerancecomputerJournal of Guidance, Control, and Dynamics, 1986
- Synchronizing clocks in the presence of faultsJournal of the ACM, 1985
- Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.ACM Transactions on Programming Languages and Systems, 1984
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- Reasoning with time and chanceInformation and Control, 1982
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978