SLAM

成立时间：November 5, 2001

下载

Static Driver Verifier Research Platform

2010年7月

人员

Peli de Halleux

Principal Research Software Engineer

Sriram Rajamani

Corporate Vice President, Microsoft Research

Thomas Ball

Partner Researcher

Tony Hoare

Emeritus Researcher