Revision as of 13:48, 7 June 2008 edit DOI bot (talk \| contribs) 44,709 edits m Citation maintenance. You can use this bot yourself! Please report any bugs. ← Previous edit		Revision as of 17:05, 17 April 2009 edit undo AndrewHowse (talk \| contribs) Pending changes reviewers, Rollbackers 37,750 edits m Disambig links to dab page Variable and general clean-up using AWB Next edit →
Line 2: '''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. The set of [[~~variable~~Variable (mathematics)\|variables]]s are partitioned into visible and invisible depending on their change of values. The real [[state space]] is summarized into a smaller set of the visible ones. ==Galois connected==

Abstract model checking: Difference between revisions