CEGAR

Also known as Counterexample-guided abstraction refinement. This is the canonical page; those names redirect here.

Pairings in the atlas

Counterexample-guided refinementspecialistAbstraction refinement program-analysis

Rivals: other methods for the same problems

Where it sits

program-analysis · Formal Languages & Compilers