Slide 1The Static Driver Verifier Research Platform Thomas Ball 1, Ella Bounimova 1, Vladimir Levin 2, Rahul Kumar 2, and Jakob Lichtenberg 2 1 Microsoft Research 2 Microsoft…