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
Den här webbläsaren stöds inte längre.
Uppgradera till Microsoft Edge och dra nytta av de senaste funktionerna och säkerhetsuppdateringarna, samt teknisk 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