Content deleted Content added
Citation bot (talk | contribs) Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Model checking | #UCB_Category 12/24 |
expand lead |
||
| (One intermediate revision by the same user not shown) | |||
Line 1:
In [[computer science]] and in [[mathematics]], '''abstraction model checking''' is a form of [[model checking]] 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.
Line 27:
[[Category:Model checking]]
| |||