Content deleted Content added
m This article needs to be categorized |
No edit summary |
||
Line 1:
{{categorize}}
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. <br />
The set of variables are partitioned into visible and invisible depending on their visible change ( change of values, for instance) and the real state space is summarized into a smaller set of the visible ones.
==References==
| |||