Modelo do sistema operacional

Um modelo ou conjunto de sistema operacional SDV consiste em segmentos parciais e abstratos de código do Windows que atuam como o sistema operacional durante uma verificação. O SDV inclui um modelo de sistema operacional padrão e vários modelos especializados que são usados para verificar regras específicas. O SDV monta o modelo do sistema operacional para uma verificação durante a etapa Verificação do processo de verificação.

Há também uma estrutura que executa partes do código do seu driver da mesma maneira que o sistema operacional Windows, chamando os pontos de entrada no driver.