Model operačního systému

Model operačního systému SDV nebo svazek se skládá z částečných a abstraktovaných segmentů kódu Windows, které fungují jako operační systém během ověřování. SDV obsahuje výchozí model operačního systému a několik specializovaných modelů, které slouží k ověření konkrétních pravidel. SDV sestaví model operačního systému pro ověření během kroku Kontrolyprocesu ověření.

Existuje také postroj, který provádí části ovladače stejným způsobem jako operační systém Windows voláním vstupních bodů v ovladači.