Regra do Driver Verifier 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 no SLIC (Specification Language for Interface Checking), uma linguagem simples que foi desenvolvida pela Microsoft Research expressamente para essa finalidade.