SLAM

Established: November 5, 2001

SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool in the Windows Driver Development Kit that uses the SLAM verification engine.

“Things like even software verification, this has been the Holy Grail of computer science for many decades but now in some very key areas, for example, driver verification we’re building tools that can do actual proof about the software and how it works in order to guarantee the reliability.” Bill Gates, April 18, 2002. Keynote address (opens in new tab) at WinHec 2002 (opens in new tab)

People

Portrait of Peli de Halleux

Peli de Halleux

Principal Research Software Engineer

Portrait of Sriram Rajamani

Sriram Rajamani

Corporate Vice President, Microsoft Research

Portrait of Thomas Ball

Thomas Ball

Partner Researcher

Portrait of Tony Hoare

Tony Hoare

Emeritus Researcher