Moteur de vérification

Le moteur de vérification SDV est un moteur de vérification puissant qui effectue la vérification de règle pour SDV.

Le moteur de vérification prend l’entrée suivante :

• Code du pilote

• Règle du vérificateur de pilote statique

• Modèle de système d’exploitation du vérificateur de pilote statique