SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.

Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani

Browse the full IFM paper archive.