Aturan Pemverifikasi Driver Statis

Aturan verifikasi menentukan persyaratan untuk interaksi yang tepat antara driver dan antarmuka kernel sistem operasi. Aturan ditulis dalam Bahasa Spesifikasi untuk Pemeriksaan Antarmuka (SLIC), bahasa sederhana yang dikembangkan oleh Microsoft Research secara tegas untuk tujuan ini.