Verification Engine
The SDV verification engine is a powerful proof engine that performs the rule verification for SDV.
The verification engine takes the following input:
Driver code
Static Driver Verifier operating system model
This browser is no longer supported.
Upgrade to Microsoft Edge to take advantage of the latest features, security updates, and technical support.
The SDV verification engine is a powerful proof engine that performs the rule verification for SDV.
The verification engine takes the following input:
Driver code
Static Driver Verifier operating system model