Revision as of 17:31, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits ←Created page with ' ==References== * {{cite journal \| author=Edmund M. Clarke and Orna Grumberg and David E. Long \| title=Model checking and abstraction \| journal=ACM Transactions on...'		Revision as of 17:32, 26 January 2007 edit undo Grokmenow (talk \| contribs) 125 edits No edit summary Next edit →
Line 1: 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. ==References==

Abstract model checking: Difference between revisions