Правило проверки статических драйверов
Правило проверки определяет требование для надлежащего взаимодействия между драйвером и интерфейсом ядра операционной системы. Правила написаны на языке спецификации для проверки интерфейса (SLIC), простом языке, разработанном Корпорацией Майкрософт Research специально для этой цели.