Revision as of 17:05, 17 April 2009 edit AndrewHowse (talk \| contribs) Pending changes reviewers, Rollbackers 37,750 edits m Disambig links to dab page Variable and general clean-up using AWB ← Previous edit		Revision as of 17:31, 4 October 2009 edit undo SmackBot (talk \| contribs) 3,734,324 edits m Date maintenance tags and general fixes using AWB Next edit →
Line 1: {{Context\|date=October 2009}} ~~{{context}}~~ '''Abstraction Model checking''' is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down "abstract" version.

Abstract model checking: Difference between revisions