Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
Il motore di verifica SDV è un potente motore di dimostrazione che esegue la verifica delle regole per SDV.
Il motore di verifica accetta l'input seguente:
Codice driver
Modello del sistema operativo Static Driver Verifier