Verifieringsmotor

SDV-verifieringsmotorn är en kraftfull bevismotor som utför regelverifieringen för SDV.

Verifieringsmotorn tar följande indata:

• Kod för drivrutin

• Regel för kontroll av statisk drivrutin

• Verifieraren för statiska drivrutiner operativsystemmodell