Jump to content

Abstract model checking

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Grokmenow (talk | contribs) at 17:32, 26 January 2007. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

References

  • Edmund M. Clarke and Orna Grumberg and David E. Long (1992). "Model checking and abstraction". ACM Transactions on Programming Languages and Systems. 16 (5): 1512--1542.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Abstract_model_checking&oldid=103415388"