TheSLAM project, which was started in 1999 byThomas Ball andSriram Rajamani ofMicrosoft Research, aimed at verifying software safety properties usingmodel checking techniques. It was implemented inOCaml, and has been used to find many bugs in Windows Device Drivers. It is distributed as part of the MicrosoftWindows 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 'slamming' the bugs in a program."[1] It initially stood for "software (specifications), programming languages, abstraction, and model checking".[2] Note that Microsoft has since re-used SLAM to stand for "Social Location Annotation Mobile".[3]
Book
Categories:Family:ML •Family:OCaml •Software:OCaml