dbo:abstract
|
- The SLAM project, which was started in 1999 by and 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 of the Microsoft Windows Driver Foundation development kit as the Static Driver Verifier (SDV). "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 initially stood for "software (specifications), programming languages, abstraction, and model checking". Note that Microsoft has since re-used SLAM to stand for "Social Location Annotation Mobile". (en)
- Het SLAM-project, dat opgestart is door Microsoft Research, richtte zich op het controleren van veiligheid van software door middel van ""-technieken. Het is in Ocaml geïmplementeerd, en het is gebruikt om veel bugs te vinden in stuurapparaten voor Windows. Het is verspreid als onderdeel van de Microsoft Windows Driver Foundation development kit als de Static Driver Verifier (SDV). SLAM gebruikt een techniek genaamd counterexample-guided abstraction refinement, die gebruikmaakt van steeds betere modellen van het programma dat wordt getest. SLAM was oorspronkelijk een afkorting, maar de mensen van Microsoft vonden het te omslachtig om deze uit te leggen. Ze hebben toch de voorkeur gegeven aan het idee van de bugs in een programma te 'slammen", aldus een medewerker van Microsoft. Het stond waarschijnlijk voor "Software, Languages, Analysis, and Modeling." Microsoft heeft sinds deze uitspraak SLAM hergebruikt als "Social Location Annotation Mobile". (nl)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2048 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdf:type
| |
rdfs:comment
|
- The SLAM project, which was started in 1999 by and 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 of the Microsoft Windows Driver Foundation development kit as the Static Driver Verifier (SDV). "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 initially stood for "software (specifications), programming languages, abstraction, and model checking". Note that Microsoft has since re-used SLAM to stand for "Social Location Annotation Mobile". (en)
- Het SLAM-project, dat opgestart is door Microsoft Research, richtte zich op het controleren van veiligheid van software door middel van ""-technieken. Het is in Ocaml geïmplementeerd, en het is gebruikt om veel bugs te vinden in stuurapparaten voor Windows. Het is verspreid als onderdeel van de Microsoft Windows Driver Foundation development kit als de Static Driver Verifier (SDV). SLAM gebruikt een techniek genaamd counterexample-guided abstraction refinement, die gebruikmaakt van steeds betere modellen van het programma dat wordt getest. (nl)
|
rdfs:label
|
- SLAM-project (nl)
- SLAM project (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |