Motor de comprobación
El motor de comprobación de SDV es un motor de prueba eficaz que realiza la comprobación de reglas para SDV.
El motor de comprobación toma la entrada siguiente:
Código de controlador
Modelo de sistema operativo comprobador de controladores estáticos