High integrity computing
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- A Proof of Correctness of the Viper Microprocessor: The First LevelPublished by Springer Nature ,1988
- Implementing Safety-Critical Systems: The VIPER MicroprocessorPublished by Springer Nature ,1988
- A Self-Checking Computer Module Based on the Viper Microprocessor — A Building Block for Reliable SystemsPublished by Springer Nature ,1987
- Achieving Safety and Reliability with Computer SystemsPublished by Springer Nature ,1987
- Hardware integrityThe Aeronautical Journal, 1985