Tools
Loading...
Static Driver Verifier Research Platform
July 2010
People
Peli de Halleux
Principal Research Software Engineer
Sriram Rajamani
Corporate Vice President, Microsoft Research
Tony Hoare
Emeritus Researcher