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:

Created from the Publication Database of the Vienna University of Technology.