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,
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.