Motore di verifica

Il motore di verifica SDV è un potente motore di prova che esegue la verifica della regola per SDV.

Il motore di verifica accetta l'input seguente: