Zing

Established: December 8, 2003

Publications

View by:

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  Publication

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  Publication

- Depth Bounded Explicit State Model Checking
  
  , , Sriram Rajamani
  
  MSR-TR-2011-5 | January 2011
  
  Publication

People

Sriram Rajamani

Corporate Vice President, Microsoft Research

Learn more