« Prédicat d'abstraction » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 13 : | Ligne 13 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 12 janvier 2021 à 09:55
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
