Model systemu operacyjnego

Model systemu operacyjnego SDV lub uprzęża składa się z częściowych i abstrakcyjnych segmentów kodu systemu Windows, które działają jako system operacyjny podczas weryfikacji. SdV zawiera domyślny model systemu operacyjnego i kilka wyspecjalizowanych modeli, które są używane do weryfikowania określonych reguł. SdV tworzy model systemu operacyjnego na potrzeby weryfikacji podczas kroku sprawdzaniaprocesu weryfikacji.

Istnieje również uprzęża, która wykonuje części sterownika w taki sam sposób jak system operacyjny Windows, wywołując punkty wejścia w sterowniku.