Regola di verifica del driver statico

Una regola di verifica definisce un requisito per un'interazione appropriata tra un driver e l'interfaccia del kernel del sistema operativo. Le regole vengono scritte in Linguaggio di specifica per il controllo dell'interfaccia (SLIC), un linguaggio semplice sviluppato da Microsoft Research in modo esplicito per questo scopo.