CEGAR

(redirected from Counter-Example Guided Abstraction Refinement)
AcronymDefinition
CEGARCounter-Example Guided Abstraction Refinement
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
Full browser ?