Reliability Issues in Computing System Design
- 1 June 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 10 (2), 123-165
- https://doi.org/10.1145/356725.356729
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Fault Tolerant Operating SystemsACM Computing Surveys, 1976
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Exception handlingCommunications of the ACM, 1975
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- Operating system integrity in OS/VS2IBM Systems Journal, 1974
- Dynamic verification of operating system decisionsCommunications of the ACM, 1973
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968