Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/SLAM_project> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- SLAM_project abstract "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. It is distributed as part of the Microsoft Windows Driver Foundation development kit as the Static Driver Verifier (SDV).SLAM uses a technique called counterexample-guided abstraction refinement, which uses progressively better models of the program under test.\"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.\" It probably stood for \"Software, Languages, Analysis, and Modeling.\" Note that Microsoft has since re-used SLAM to stand for \"Social Location Annotation Mobile\".".
- SLAM_project wikiPageExternalLink slam.
- SLAM_project wikiPageID "2285574".
- SLAM_project wikiPageLength "2007".
- SLAM_project wikiPageOutDegree "7".
- SLAM_project wikiPageRevisionID "671521823".
- SLAM_project wikiPageWikiLink Abstraction_model_checking.
- SLAM_project wikiPageWikiLink BLAST_model_checker.
- SLAM_project wikiPageWikiLink Category:Formal_methods.
- SLAM_project wikiPageWikiLink Category:OCaml_software.
- SLAM_project wikiPageWikiLink Microsoft_Research.
- SLAM_project wikiPageWikiLink Model_checking.
- SLAM_project wikiPageWikiLink Windows_Driver_Frameworks.
- SLAM_project wikiPageWikiLinkText "SLAM project".
- SLAM_project wikiPageWikiLinkText "SLAM".
- SLAM_project wikiPageUsesTemplate Template:Compu-stub.
- SLAM_project wikiPageUsesTemplate Template:Microsoft_Research.
- SLAM_project subject Category:Formal_methods.
- SLAM_project subject Category:OCaml_software.
- SLAM_project type Area.
- SLAM_project type Area.
- SLAM_project type Method.
- 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.".
- SLAM_project label "SLAM project".
- SLAM_project sameAs Q2240426.
- SLAM_project sameAs SLAM-project.
- SLAM_project sameAs m.070xzm.
- SLAM_project sameAs Q2240426.
- SLAM_project wasDerivedFrom SLAM_project?oldid=671521823.
- SLAM_project isPrimaryTopicOf SLAM_project.