A provably correct embedded verifier for the certification of safety critical software
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 202-213
- https://doi.org/10.1007/3-540-63166-6_21
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Safety-critical systems built with COTSComputer, 1996
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- The EVES systemPublished by Springer Nature ,1993
- Automated correctness proofs of machine code programs for a commercial microprocessorPublished by Springer Nature ,1992
- A theorem prover for a computational logicPublished by Springer Nature ,1990
- System verificationJournal of Automated Reasoning, 1989