Can I read Code Analysis for High Integrity Systems on EtoBox?

Code Analysis for High Integrity Systems by [email protected] is a document available to read on EtoBox.

What is Code Analysis for High Integrity Systems about?

The document discusses the importance of code analysis in ensuring quality in high integrity systems, emphasizing adherence to various safety and security standards. It outlines different types of code analyses, such as control flow, data flow, and formal verification, and highlights the challenges and automation possibilities associated with these analyses. The presentation also references the Ada Semantic Interface Specification (ASIS) as a tool to facilitate code analysis in Ada programming environments.

Author

[email protected]

Language

EN