« Prédicat d'abstraction » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (2 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 3 : | Ligne 3 : | ||
== Français == | == Français == | ||
'''Prédicat d'abstraction ''' | '''Prédicat d'abstraction ''' | ||
== Anglais == | == Anglais == | ||
'''Abstraction predicate ''' | '''Abstraction predicate ''' | ||
==Sources== | |||
[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 ] | [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:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 11: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
Sources
Contributeurs: Imane Meziani, wiki
