« Prédicat d'abstraction » : différence entre les versions
m (Remplacement de texte — « <br> » par « ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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 == | == Français == | ||
''' | '''Prédicat d'abstraction ''' <small> masculin </small> | ||
== Anglais == | == Anglais == | ||
''' | '''Abstraction predicate ''' | ||
<small> | |||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=PREDICAT+ABSTRACTION&index=alt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus ] | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
[[Catégorie:Scotty2]] | |||
[ | |||
Version du 7 juin 2020 à 17:25
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
