SLAM project
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 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.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
SLAM project
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 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.
has abstract
Het SLAM-project, dat opgestar ...... l Location Annotation Mobile".
@nl
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
949,618,392
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Het SLAM-project, dat opgestar ...... et programma dat wordt getest.
@nl
label
SLAM project
@en
SLAM-project
@nl