About this document
Compiler Safety in Automotive Software by Merlin Pokam is a document available to read on EtoBox.
The document discusses approaches to ensuring compiler safety, which is important for producing safe software. It describes three main approaches: language restrictions, verification through formal proofs of correctness, and testing. Language restrictions avoid dangerous language features, while verification proves correctness through formalizing each translation step, though it requires high user interaction. Testing establishes correctness through compiling large test suites and comparing outputs to refer
- Author
- Merlin Pokam
- Language
- EN