Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
出版物
-
-
Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
-
-
-
Depth Bounded Explicit State Model Checking
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
-
人数
Sriram Rajamani
Corporate Vice President, Microsoft Research