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.
Comentarios
https://aka.ms/ContentUserFeedback.
Próximamente: A lo largo de 2024 iremos eliminando gradualmente GitHub Issues como mecanismo de comentarios sobre el contenido y lo sustituiremos por un nuevo sistema de comentarios. Para más información, vea:Enviar y ver comentarios de