Skip to main content
Department of Information Technology

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.

Back to the seminar page

Updated  2018-04-17 18:58:27 by Philipp Rümmer.