Closing the loop: The influence of code analysis on design

DOI10.1007/3-540-48046-3_12MaRDI QIDQ3045864zbMATH OpenFDO

Authors Peter Amey

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2361/23610151.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• DataFAN: A practical approach to data flow analysis for Ada 95
• Design-driven compilation
• Software analysis and model checking
• Building high integrity applications with SPARK
• Using the SPARK toolset for showing the absence of run-time errors in safety-critical software

Cited in

(1)

• DataFAN: A practical approach to data flow analysis for Ada 95

This page was built for publication: Closing the loop: The influence of code analysis on design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045864)