Regel zur Überprüfung des statischen Treibers

Eine Überprüfungsregel definiert eine Anforderung für eine ordnungsgemäße Interaktion zwischen einem Treiber und der Kernelschnittstelle des Betriebssystems. Die Regeln sind in Der Spezifikationssprache für die Schnittstellenüberprüfung (SLIC) geschrieben, einer einfachen Sprache, die von Microsoft Research ausdrücklich zu diesem Zweck entwickelt wurde.