SLAM project
id:
slam-project-299-11436837
title:
SLAM project
text:
The SLAM project, which was started in 1999 by Thomas Ball and Sriram Rajamani of Microsoft Research, aimed at verifying software safety properties using model checking techniques. It was implemented in OCaml, and has been used to find many bugs in Windows Device Drivers. It is distributed as part of the Microsoft Windows Driver Foundation development kit as the Static Driver Verifier (SDV). "SLAM originally was an acronym but we found it too cumbersome to explain. We now prefer to think of 'sla
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/SLAM_project
date created:
date modified:
2024-02-29T00:04:16Z
main entity:
{"identifier":"Q2240426","url":"https://www.wikidata.org/entity/Q2240426"}
image:
fields total:
13
integrity:
13