Static Driver Verifier Research Platform

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.