Formal Runtime Error Detection During Development in the Automotive Industry

Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund

Modern automotive software is highly complex and consists of millions lines of code. For safety-relevant automotive software, it is recommended to use sound static program analysis…