Prédicat d'abstraction


Révision datée du 28 janvier 2024 à 11:32 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Source : TERMIUM Plus

Récupérée de « https://datafranca.org/wiki/index.php?title=Prédicat_d%27abstraction&oldid=91369 »

Contributeurs: Imane Meziani, wiki