Regola di verifica del driver statico

Una regola di verifica definisce un requisito per l'interazione corretta tra un driver e l'interfaccia kernel del sistema operativo. Le regole sono scritte in Specification Language for Interface Checking (SLIC), un linguaggio semplice sviluppato espressamente da Microsoft Research per questo scopo.