A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
2015
Foundations and Trends® in Programming Languages
We discuss the principles of static analysis by abstract interpretation and report on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous, parallel programs, and target code validation as well. Future research directions on abstract interpretation are also
doi:10.1561/2500000002
fatcat:qexzhfzrlvhh7eghzfo76ezca4