[Zurück]


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.