Formal verification of safety-critical systems
- 1 August 1990
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 20 (8) , 799-821
- https://doi.org/10.1002/spe.4380200804
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- STP: A mechanized logic for specification and verificationPublished by Springer Nature ,2005
- Software safety: why, what, and howACM Computing Surveys, 1986
- The N-Version Approach to Fault-Tolerant SoftwareIEEE Transactions on Software Engineering, 1985
- Analyzing Software SafetyIEEE Transactions on Software Engineering, 1983
- Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control SystemIEEE Transactions on Computers, 1982
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975