Fault Tolerance by Design Diversity: Concepts and Experiments

SIFT: Design and analysis of a fault-tolerant computer for aircraft control

J. H. Wensley, Leslie Lamport, Jack Goldberg et al. · Proceedings of the IEEE · 1978 · 566 citations

Engineering, Computer Architecture, Fault Tolerance +19

The correctness problem in computer science

Mathematics and Computers in Simulation · 1983 · 355 citations

Decision Procedure, Engineering, Automated Reasoning +7

LOCUS a network transparent, high reliability distributed system

Gerald J. Popek, Bruce J. Walker, J. Chow et al. · ACM SIGOPS Operating Systems Review · 1981 · 214 citations

Cluster Computing, Engineering, Computer Architecture +23

Exception Handling and Software Fault Tolerance

Cristian Cristian · IEEE Transactions on Computers · 1982 · 170 citations

Software Maintenance, Engineering, Programmed Exception Handling +24

Research Directions in Software Technology

F. R. A. Hopgood · The Computer Journal · 1980 · 135 citations · Full text

Software Maintenance, Software Implementation, Engineering +9