Überprüfungs-Engine

Die SDV-Überprüfungs-Engine ist eine leistungsstarke Proof-Engine, die die Regelüberprüfung für SDV durchführt.

Die Überprüfungs-Engine verwendet die folgende Eingabe:

• Treibercode

• Regel zur Überprüfung des statischen Treibers

• Static Driver Verifier-Betriebssystemmodell