Static Driver Verifier Concepts

This section describes concepts that are specific to SDV and includes:

Static Driver Verifier Rule

Operating System Model

Verification Engine

Verification Process

Passing and Failing a Verification

Library Processing in Static Driver Verifier

Send comments about this topic to Microsoft