Content deleted Content added
AlanSherlock (talk | contribs) m AlanSherlock moved page Abstraction model checking to Abstract model checking: Standard term, cf. Symbolic Model Checking, evidenced by (i) google search and (ii) Clarke's original paper which says "we construct an abstract model of a program without ever examining the corresponding unabstracted model" in the abstract |
→top: ce lead, add wikilink, rm context notice |
||
Line 1:
In [[computer science]], '''
▲'''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 (mathematics)|variables]] 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.
| |||