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
Ta przeglądarka nie jest już obsługiwana.
Przejdź na przeglądarkę Microsoft Edge, aby korzystać z najnowszych funkcji, aktualizacji zabezpieczeń i pomocy technicznej.
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