Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
Publications
Publications by Year
Publications by Research Area
-
Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
Publications by Type
-
Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
People
Sriram Rajamani
Corporate Vice President, Microsoft Research