« Prédicat d'abstraction » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte — « <small> masculin </small> » par «  »)
Ligne 3 : Ligne 3 :


== Français ==
== Français ==
'''Prédicat d'abstraction '''  <small> masculin </small>
'''Prédicat d'abstraction '''   
   
   
== Anglais ==
== Anglais ==

Version du 1 février 2021 à 20:32

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

Anglais

Abstraction predicate

Source : TERMIUM Plus

Contributeurs: Imane Meziani, wiki