SLAM project

SLAM project

The SLAM project, which is started in Microsoft Research, aimed for verifying some software 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 to verify.

ee also

* Abstraction model checking
* the BLAST model checker, a model checker similar to SLAM that uses "lazy abstraction"

External links

* [http://research.microsoft.com/slam SLAM website]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • SLAM — or slam may refer to:In weaponry: * Supersonic Low Altitude Missile, a cancelled U.S. Air Force project * Standoff Land Attack Missile, an over the horizon, all weather cruise missile * Selectable Light weight Attack Munition, a small United… …   Wikipedia

  • Project Pluto — was a United States government program to develop nuclear powered ramjet engines for use in cruise missiles. Two experimental engines were tested at the United States Department of Energy Nevada Test Site in 1961 and 1964.HistoryOn January 1 1957 …   Wikipedia

  • Slam Dunk (manga) — Slam Dunk First volume of the Jump Comics edition スラムダンク (Suramu Danku) Genre …   Wikipedia

  • Project Reality — Entwickler Project Reality Studios/Black Sand Studios Erstveröffent lichung …   Deutsch Wikipedia

  • Project X (группа) — Project X  недолго проживший хардкор панк/youth crew коллектив из Нью Йорка,[1] сайд проект участников известных нью йоркских хардкор групп Gorilla Biscuits, Youth of Today, Side by Side и Judge. Project X  это также название… …   Википедия

  • Project X (band) — Infobox Album | Name = Project X (aka Straight Edge Revenge) Type = EP Artist = Project X Released = 1987 Recorded = November 28, 1987 Genre = Youth Crew Length = 6:29 (original 7 ) 8:56 (2005 reissue) Label = Schism Records (original 7 ) Bridge… …   Wikipedia

  • Grand Slam (band) — Infobox musical artist Name = Grand Slam Img capt = Grand Slam Phil Lynott, Mark Stanway, Robbie Brennan and Laurence Archer| Img size = Background = group or band Origin = Ireland Genre = Hard rock Heavy metal Years active = 1984 mdash;1985… …   Wikipedia

  • Port Phillip Channel Deepening Project — The Port Phillip Channel Deepening Project (CDP) began on 8 February 2008 to deepen the shipping channels leading to Melbourne, Australia, in Port Phillip to 14 metres (46 ft) draught allow greater access for container ships. An estimated… …   Wikipedia

  • The Disclosure Project — Infobox Company company name = The Disclosure Project company company type = Non profit organization foundation = 1993 location = Crozet, Virginia key people = Dr. Steven M. Greer, Founder industry = products = revenue = operating income = net… …   Wikipedia

  • Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”