Abstract model checking: Difference between revisions

Revision as of 00:36, 8 February 2007

Revision as of 10:03, 8 February 2007

Line 1:

{{context}}

{{Wikify|February 2007}}

{{wikify}}

'''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.