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