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

Show:
© 2014 Microsoft. All rights reserved.