Règle de vérificateur de pilote statique

Une règle de vérification définit une exigence d’interaction appropriée entre un pilote et l’interface du noyau du système d’exploitation. Les règles sont écrites en langage de spécification pour la vérification d’interface (SLIC), un langage simple qui a été développé expressément à cette fin par Microsoft Research.