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 and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
作者：Microsoft
-
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
作者：Microsoft
-
Boolean Programs: A Model and Process for Software Analysis
Thomas Ball, Sriram Rajamani
MSR-TR-2000-14 | February 2000
作者：Microsoft
-
-
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
作者：Microsoft
-
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
作者：Microsoft
-
Boolean Programs: A Model and Process for Software Analysis
Thomas Ball, Sriram Rajamani
MSR-TR-2000-14 | February 2000
作者：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
Thomas Ball, Sriram Rajamani
MSR-TR-2000-14 | February 2000
作者：Microsoft
-
-
-
Boolean and Cartesian Abstraction for Model Checking C Programs
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
作者：Microsoft
-
Parameterized Verification of Multithreaded Software Libraries
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
作者：Microsoft
-
Boolean Programs: A Model and Process for Software Analysis
Thomas Ball, Sriram Rajamani
MSR-TR-2000-14 | February 2000
作者：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
-
人员
Peli de Halleux
Principal Research Software Engineer
Sriram Rajamani
Corporate Vice President, Microsoft Research
Tony Hoare
Emeritus Researcher