Mecanismo de Verificação

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

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

• Código do driver

• Regra do Verificador de Driver Estático

• Modelo do sistema operacional Verificador de Driver Estático