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

Ověřovací pravidlo definuje požadavek na správnou interakci mezi ovladačem a rozhraním jádra operačního systému. Pravidla jsou napsána v jazyce specifikace pro kontrolu rozhraní (SLIC), což je jednoduchý jazyk, který byl vyvinut společností Microsoft Research výslovně pro tento účel.