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

Tony Hoare

Emeritus Researcher