Formal Runtime Error Detection in Automotive Software Development

Explore formal runtime error detection techniques for automotive software development in this conference talk from VMCAI'24. Learn about the challenges of analyzing complex automotive software systems, including scalability issues and false alarms. Discover how automatically inferred contracts can enhance module-level analysis, improving precision and scalability. Examine quantitative evaluations of industrial case studies from various automotive domains and gain insights into the verification of large-scale embedded software projects. Understand the balance between early-stage development analysis and integrated system analysis, and how this approach addresses the need for context in module-level analysis using abstract interpretation tools.