SLAM2: Static driver verification with under 4% false alarms.

Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin

Browse the full FMCAD paper archive.