Download Static Driver Verifier Research Platform from Official Microsoft Download Center

A Surface Pro, a Surface Pen, a Surface Arc Mouse

Surface Pro

Ultra-light and versatile

Static Driver Verifier Research Platform

Important! Selecting a language below will dynamically change the complete page content to that language.

Language:
English
The Static Driver Verifier Research Platform is a new academic release of Static Driver Verifier (SDV) and the SLAM software model checker that contains a parameterized version of SDV that enables the writing of custom API rules for APIs independent of device drivers; thousands of Boolean programs generated by SDV in the course of verifying . Last published: July 14, 2010.