Deductive Verification of Automotive Embedded C-code
Speaker:
Dilian Gurov, KTH
Date and Time
Friday, April 27th, 2018 at 14:15.
Location
Polacksbacken, ITC, room 1245.
Abstract
In this talk I will present my experiences from a collaborative
project with Scania AB in which we explore the possibilities
for deductive verification of certain safety-critical parts of
the embedded C-code controlling the vehicles. I will focus on
the practical aspects of the work and discuss what makes deductive
verification a viable option for Scania and what are the main
challenges to its adoption into the software design process.