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 rule

• Static Driver Verifier operating system model