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:

Send comments about this topic to Microsoft