Ověřovací modul

Ověřovací modul SDV je výkonný ověřovací modul, který provádí ověření pravidla pro SDV.

Ověřovací modul přijímá následující vstup:

• Kód ovladače

• Ověřovací pravidlo statického ovladače

• Model operačního systému Verifier statického ovladače