Zeitschriftenartikel:
E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith:
"Counterexample-Guided Abstraction Refinement for Symbolic Model Checking";
Journal of the ACM,
Volume 50
(2003),
Issue 5;
S. 752
- 794.
Kurzfassung englisch:
The state explosion problem remains a major hurdle in applying symbolic model checking to large hardware designs. State space abstracton, having been essential for verifying designs of industrial complexity, is typically a manual process, requiring cunsiderable creativity and insight.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404482
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.