Prédicat d'abstraction
Définition
Le défi de l'abstraction automatique est d'identifier les prédicats d'abstraction adéquats qui nous permettent de «fusionner» les états sans falsifier les résultats de la vérification.
Français
Prédicat d'abstraction masculin
Anglais
Abstraction predicate
Contributeurs: Imane Meziani, wiki
