CEGAR

AcronymDefinition
CEGAR➣Counter-Example Guided Abstraction Refinement