Regra do verificador de driver estático

Uma regra de verificação define um requisito de interação adequada entre um driver e a interface kernel do sistema operacional. As regras são escritas em Linguagem de Especificação para Verificação de Interface (SLIC), uma linguagem simples que foi desenvolvida pela Microsoft Research expressamente para essa finalidade.