Regla de comprobador de controladores estáticos

Una regla de verificación define un requisito para una interacción adecuada entre un controlador y la interfaz de kernel del sistema operativo. Las reglas se escriben en el lenguaje de especificación para la comprobación de interfaz (SLIC), un lenguaje sencillo desarrollado por Microsoft Research expresamente para este propósito.