About us
Define
Definitions for
"Abstraction model checking"
Abstraction Model checking is for systems where an actual representation is too complex and and a state space explosion will result in developing the model alone. So, the design undergoes a kind of translation to scaled down "abstract" version.
en.wikipedia.org