Microsoft Download Center Archive

Static Driver Verifier Research Platform

  • Published:
  • Version: 2.1.372.34007
  • Category: other
  • 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.

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.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.
Files
sdvrp.zip
  • SHA1: ad6897afd2c72b5e951005d902f58587cf8f2a98
  • Size: 51.90 MB

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem