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