SLAM project

From Wikipedia, the free encyclopedia

You have new messages (last change).

The SLAM project, which is started in Microsoft Research, aimed for verifying some software properties using model checking techniques. It is implemented in Ocaml, and has been used to find many bugs in Windows Device Drivers. It has been part of the Microsoft Windows Device Driver development kit.

 This computer-related article is a stub. You can help Wikipedia by expanding it.

[edit] External links

Retrieved from "http://en.wikipedia.org../../../s/l/a/SLAM_project_c54b.html"