Mesin Verifikasi

Mesin verifikasi SDV adalah mesin pengujian yang kuat yang melakukan verifikasi aturan untuk SDV.

Mesin verifikasi mengambil input berikut:

• Kode driver

• Aturan Pemverifikasi Driver Statis

• Model sistem operasi Pemverifikasi Driver Statis