This is the Trace Id: 65245f705dca98f0245d3d223d00e99d

Bring the world closer with Bing Wallpaper

Download the free app and enjoy breathtaking views with a new background each day.
Get Bing Wallpaper
A laptop displaying a colorful seascape from Bing Wallpaper.

Static Driver Verifier Research Platform

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.

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

Download

  • Version:

    2.1.372.34007

    Date Published:

    7/15/2024

    File Name:

    sdvrp.zip

    File Size:

    51.9 MB

    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 Windows device drivers, including the functional and performance results—of the Bebop model checker—and test scripts to enable comparison against other Boolean-program model checkers; and a new version of the SLAM analysis engine, called SLAM2, that is much more robust and precise.

  • Supported Operating Systems

    Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

    • Click Download and follow the instructions.

Follow Microsoft

Back To Top