Matches in DBpedia 2016-04 for { ?s ?p "The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques. It is implemented in OCaml, and has been used to find many bugs in Windows Device Drivers."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- SLAM_project comment "The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques. It is implemented in OCaml, and has been used to find many bugs in Windows Device Drivers.".
- Q2240426 comment "The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques. It is implemented in OCaml, and has been used to find many bugs in Windows Device Drivers.".