Statik Sürücü Doğrulayıcı Kuralı

Doğrulama kuralı, bir sürücü ile işletim sisteminin çekirdek arabirimi arasında doğru etkileşime yönelik bir gereksinim tanımlar. Kurallar, Microsoft Research tarafından bu amaçla açıkça geliştirilen basit bir dil olan Arabirim Denetimi için Belirtim Dili'nde (SLIC) yazılır.