Documents The Static Driver Verifier Research Platform Thomas Ball 1, Ella Bounimova 1, Vladimir Levin 2,...

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…

Documents The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani...

Slide 1The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani Microsoft Research http://research.microsoft.com/slam/ Slide 2 Thanks…