Abstract Interpretation in Industry - Experience and Lessons Learned
In this article we will give an overview of the development and commercialization of two industry-strength Abstract Interpretation- based static analyzers, aiT WCET Analyzer and Astrée. We focus on development steps, adaptations to meet industry requirements and dis- cuss criteria for a successful transfer of formal verification methods to industrial usage.
Daniel Kästner is co-founder and CTO of AbsInt GmbH. He studied Computer Science and Business Economics and received his Ph.D. on code optimization for embedded processors in the year 2000. He has been a lecturer at the University of Saarbrücken, Germany and has been program committee member of numerous international conferences. He is a member of the ISO 26262 and IEC 61508 working groups on Software Safety, and a member of the MISRA C and MISRA SQM working groups.
Mon 23 OctDisplayed time zone: Lisbon change
09:00 - 10:30
|Abstract Interpretation in Industry - Experience and Lessons LearnedKeynote|
I: Daniel Kaestner AbsIntPre-print
|Lifting On-Demand Analysis to Higher-Order Languages|
Daniel Schoepe Amazon, David Seekatz Unaffiliated, Ilina Stoilkovska Amazon, Sandro Stucki Amazon, Daniel Tattersall Amazon, Pauline Bolignano Amazon, Franco Raimondi Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; AmazonLink to publication Pre-print