@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:SLAM_project	rdf:type	ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:SLAM_project	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000007073d3> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:SLAM_project	foaf:page	ns5:SLAM_project .
@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix ns7:	<http://research.microsoft.com/> .
dbpedia:SLAM_project	dbpprop:reference	ns7:slam .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:SLAM_project	rdfs:label	"SLAM project"@en ;
	dbpprop: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\"."@en ;
	rdfs: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. 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."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns10:	<http://dbpedia.org/resource/Category:> .
dbpedia:SLAM_project	skos:subject	ns10:Formal_methods ,
		ns10:OCaml_software .
@prefix ns11:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:SLAM_project	dbpprop:hasPhotoCollection	ns11:SLAM_project .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:SLAM_project	owl:sameAs	dbpedia:SLAM_project .