Georg Weissenbacher

Georg Weissenbacher

Doctoral Student
Student, Magdalen College

georg.weissenbacher@magd.ox.ac.uk
+44 1865 283518

Wolfson Building, Parks Road, Oxford OX1 3QD

interests

Automated software verification, model checking, decision procedures, logic.

featured publication

Digitaltechnik

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

links

private website

selected publications (View all)

Interpolant Strength

Vijay D'Silva et al.

In Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) Vol. 5944 of Lecture Notes in Computer Science. Springer, January 2010.

Extended version available as technical report.

Details | BibTeX

Verification and Falsification of Programs with Loops Using Predicate Abstraction

Daniel Kroening, Georg Weissenbacher

Formal Aspects of Computing, 2009.

Details | BibTeX | Link | DOI (10.1007/s00165-009-0110-2)

A Survey of Automated Techniques for Formal Software Verification

Vijay D'Silva, Daniel Kroening and Georg Weissenbacher

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.

Details | BibTeX | Link | DOI (10.1109/TCAD.2008.923410)

info

themes	Verification
activities	Software Model Checking \| Programming Tools \| Hardware Verification
projects	Efficient Verification of Software with Replicated Components \| Model-based test generation for embedded systems
supervisor	Daniel Kroening