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
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
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
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
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
Thomas Ball
Partner Researcher
Tony Hoare
Emeritus Researcher