Moteur de vérification

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

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