CEGAR

(redirected from Counter-Example Guided Abstraction Refinement)
AcronymDefinition
CEGARCounter-Example Guided Abstraction Refinement
Full browser ?