Publications in Scientific Journals:
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;
752
- 794.
English abstract:
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 library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404482
Created from the Publication Database of the Vienna University of Technology.