Statikus illesztőprogram-ellenőrző szabály

Az ellenőrzési szabály meghatározza az illesztőprogram és az operációs rendszer kernelfelülete közötti megfelelő interakció követelményét. A szabályok a Microsoft Research által kifejezetten erre a célra kifejlesztett egyszerű nyelv, a Specification Language for Interface Checking (SLIC) nyelven vannak megírva.