[Back]


Diploma and Master Theses (authored and supervised):
J. Birgmeier:
"Software Verification with IC3 via Abstraction and Interpolation";
Supervisor: G. Weissenbacher, H. Veith; Fakultät für Informatik der Technischen Universität Wien, 2013.

Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung

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