Content deleted Content added
Signalhead (talk | contribs) m →Abstraction refinement loop: Spelling error corrected (seperation-> separation) |
m Date/fix the maintenance tags or gen fixes |
||
Line 1:
{{context}}
{{Wikify|date=February 2007}}
'''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.
| |||