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/...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!