Motor de verificação

O mecanismo de verificação SDV é um poderoso mecanismo de prova que executa a verificação de regras para SDV.

O mecanismo de verificação recebe a seguinte entrada:

• Código do condutor

• Regra do Verificador de Driver Estático

• Modelo do sistema operacional Static Driver Verifier