Regra do Verificador Estático de Controladores

Uma regra de verificação define um requisito para a interação adequada entre um driver e a interface do kernel do sistema operacional. As regras estão escritas em Specification Language for Interface Checking (SLIC), uma linguagem simples que foi desenvolvida pela Microsoft Research expressamente para este fim.