Nota
O acceso a esta páxina require autorización. Pode tentar iniciar sesión ou modificar os directorios.
O acceso a esta páxina require autorización. Pode tentar modificar os directorios.
El motor de comprobación de SDV es un potente motor de prueba que realiza la comprobación de reglas para SDV.
El motor de comprobación toma la siguiente entrada:
Código del driver
Modelo de sistema operativo comprobador de controladores estáticos