{"version":"1.0","type":"link","title":"SLAM project - Newikis","description":"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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}