SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
Publications
Publications
Publications by Year
-
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
Publications by Research Area
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
-
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
Publications by Type
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Boolean Programs: A Model and Process for Software Analysis
MSR-TR-2000-14 | February 2000
Published by Microsoft
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
People
Peli de Halleux
Principal Research Software Engineer
Sriram Rajamani
Corporate Vice President and Managing Director, Microsoft Research India Lab
Thomas Ball
Partner Researcher
Tony Hoare
Emeritus Researcher