Partager via


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 :