Правило проверки статических драйверов

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