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
Tento prohlížeč se už nepodporuje.
Upgradujte na Microsoft Edge, abyste mohli využívat nejnovější funkce, aktualizace zabezpečení a technickou podporu.
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