##  [Affinement D'Abstraction Guidé par Contre‑Exemples (CEGAR)](/fr/node/60869) 

  ##  [Affinement D'Abstraction Guidé par Contre‑Exemples (CEGAR)](https://mathlogic.quantumdictionary.io/fr/node/60870) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un processus itératif de vérification qui alterne entre la vérification par modèle d'un système abstrait et des étapes d'affinement guidées par des contre‑exemples jusqu'à ce que la propriété soit prouvée sur le système concret ou qu'un contre‑exemple réel soit trouvé.