Vijay D'Silva, Daniel Kroening, Mitra Purandare, and Georg Weissenbacher
Interpolant Strength
to appear in the Proceedings of Verification, Model Checking
and Abstract Interpretation, Madrid, Spain, January 2010
(an extended version of this paper is available as
ETH Zurich Technical Report)
Download slides.
Daniel Kroening, and Georg Weissenbacher
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
to appear in the Proceedings of the 5th Haifa Verification
Conference, Haifa, Israel, October 2009.
This work was also presented at the
UNU-IIST seminar
in Macau in January, 2010.
Download slides.
Daniel Kroening, Georg Weissenbacher
Drum prüfe: Model
Checking: Bugs in C-Programmen finden
Magazin für professionelle Informationstechnik, iX 5/2009
Daniel Kroening, and Georg Weissenbacher
Verification and Falsification of Programs with Loops Using
Predicate Abstraction
Formal Aspects of Computing, Springer, 2009
Vijay D'Silva, Daniel Kroening, and Georg Weissenbacher
A Survey of Automated
Techniques for Formal Software Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits
and Systems, Volume 27, Issue 7, July 2008
Armin Biere, Daniel Kroening, Georg Weissenbacher, and Christoph M. Wintersteiger
Digitaltechnik - Eine praxisnahe Einführung
Springer-Lehrbuch, March 2008
Gérard Basler, Daniel Kroening, and Georg Weissenbacher
A Complete Bounded Model Checking Algorithm for Pushdown Systems
Proceedings of the 3rd Haifa Verification Conference, Haifa, Israel, October 2007 (published 2008)
Daniel Kroening and Georg Weissenbacher
Lifting Propositional Interpolants to the Word-Level
Proceedings of the 7th Conference on Formal Methods in Computer Aided Design, Austin, TX, November 2007
Thomas Witkowski, Nicolas Blanc, Daniel Kroening, and Georg Weissenbacher
Model Checking Concurrent Linux Device Drivers
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, GA, November 2007
Gérard Basler, Daniel Kroening, and Georg Weissenbacher
SAT-based Summarization for Boolean Programs
Proceedings of the 14th International SPIN Workshop on Model
Checking Software, Berlin, Germany, July 2007
Download slides.
Daniel Kroening and Georg Weissenbacher
Counterexamples with Loops for Predicate Abstraction
Proceedings of the 18th Conference on Computer Aided Verification, Seattle, WA, August 2006
Wolfgang Herzner, Georg Weissenbacher, Erwin Schoitsch
From requirements to deployment: Verify that the right things are done correctly.
The DECOS test bench
Proceedings of the 8th International IEEE Conference on Intelligent Transportation Systems,
Vienna, Austria, September 2005
Wolfgang Herzner and Georg Weissenbacher
Counterexample-Driven Abstraction Refinement: A pattern for Formal Verification
of Large Systems
Proceedings of the 10th European Conference on Pattern Languages of Programs,
Irsee, Germany, July 2005
Georg Weissenbacher, Wolfgang Herzner and Egbert Althammer
Allocation of Dependable Software Modules under Consideration of Replicas
Proceedings of the First ERCIM Workshop on Software-Intensive
Dependable Embedded Systems, Porto, Portugal, August 2005
Georg Weissenbacher
Abstrakte Kunst: Fehler finden mit Model-Checkern
Magazin für professionelle Informationstechnik, iX 5/2004
Georg Weissenbacher
Ohne Beweis: VDM++, Lightweight Formal Methods
Magazin für professionelle Informationstechnik, iX 3/2001