Slide 1 Will future cars have formally verified powertrain control software? Jyotirmoy V. Deshmukh (with Jim Kapinski, Xiaoqing Jin, Isaac Ito & Ken Butts) Slide 2 What…