Überprüfungsmodul

Das SDV-Überprüfungsmodul ist eine leistungsfähige Beweismaschine, die die Regelüberprüfung für SDV durchführt.

Das Überprüfungsmodul verwendet die folgenden Eingaben:

• Treiber-Code

• Regel für statische Treiberüberprüfung

• Statisches Treiberprüfer-Betriebssystemmodell