Georg Weissenbacher : Publications

Interpolant Strength

Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher

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

Extended version available as technical report. Download slides.

Details about Interpolant Strength | BibTeX data for Interpolant Strength | DOI (10.1007/978-3-642-11319-2_12) | Link to Interpolant Strength

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Daniel Kroening and Georg Weissenbacher

In Kedar Namjoshi and Andreas Zeller, editors, Proceedings of the 5th Haifa Verification Conference. Springer. 2010.

This work was also presented at the UNU IIST seminar in Macau (click here for slides) in January 2010.

Details about An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions | BibTeX data for An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Program Analysis with Interpolants

Georg Weissenbacher

PhD Thesis 2010.

Details about Program Analysis with Interpolants | BibTeX data for Program Analysis with Interpolants | Link to Program Analysis with Interpolants

Verification and Falsification of Programs with Loops Using Predicate Abstraction

Daniel Kroening and Georg Weissenbacher

In Formal Aspects of Computing. 2009.

Details about Verification and Falsification of Programs with Loops Using Predicate Abstraction | BibTeX data for Verification and Falsification of Programs with Loops Using Predicate Abstraction | DOI (10.1007/s00165-009-0110-2) | Link to Verification and Falsification of Programs with Loops Using Predicate Abstraction

A Survey of Automated Techniques for Formal Software Verification

Vijay D'Silva‚ Daniel Kroening and Georg Weissenbacher

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

Details about A Survey of Automated Techniques for Formal Software Verification | BibTeX data for A Survey of Automated Techniques for Formal Software Verification | DOI (10.1109/TCAD.2008.923410) | Link to A Survey of Automated Techniques for Formal Software Verification

Digitaltechnik

Armin Biere‚ Daniel Kroening‚ Georg Weissenbacher and Christoph Wintersteiger

Springer. March, 2008.

Details about Digitaltechnik | BibTeX data for Digitaltechnik | Link to Digitaltechnik

Restructuring Resolution Refutations for Interpolation

Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher

October, 2008.

Details about Restructuring Resolution Refutations for Interpolation | BibTeX data for Restructuring Resolution Refutations for Interpolation | Download (pdf) of Restructuring Resolution Refutations for Interpolation

SAT−based Summarisation for Boolean Programs

Gerard Basler‚ Daniel Kroening and Georg Weissenbacher

In Proceedings of SPIN 2007. No. 4595. Pages 131–148. 2007.

Click here for slides.

Details about SAT−based Summarisation for Boolean Programs | BibTeX data for SAT−based Summarisation for Boolean Programs | Link to SAT−based Summarisation for Boolean Programs

Lifting Propositional Interpolants to the Word−Level

Daniel Kroening and Georg Weissenbacher

In Proceedings of FMCAD. Pages 85–89. IEEE. 2007.

(also presented in the TRESOR seminar at EPFL‚ June 2008)

Details about Lifting Propositional Interpolants to the Word−Level | BibTeX data for Lifting Propositional Interpolants to the Word−Level | Link to Lifting Propositional Interpolants to the Word−Level

Model Checking Concurrent Linux Device Drivers

Thomas Witkowski‚ Nicolas Blanc‚ Georg Weissenbacher and Daniel Kroening

In 22nd IEEE International Conference on Automated Software Engineering (ASE). Pages 501–504. IEEE. 2007.

Details about Model Checking Concurrent Linux Device Drivers | BibTeX data for Model Checking Concurrent Linux Device Drivers | DOI (10.1145/1321631.1321719) | Link to Model Checking Concurrent Linux Device Drivers

A Complete Bounded Model Checking Algorithm for Pushdown Systems

Gerard Basler‚ Daniel Kroening and Georg Weissenbacher

In Proceedings of HVC 2007. Vol. 4899 of Lecture Notes in Computer Science. Pages 202–217. Springer. 2007.

Details about A Complete Bounded Model Checking Algorithm for Pushdown Systems | BibTeX data for A Complete Bounded Model Checking Algorithm for Pushdown Systems

Counterexamples with Loops for Predicate Abstraction

Daniel Kroening and Georg Weissenbacher

In Proceedings of CAV 2006. Vol. 4144 of Lecture Notes in Computer Science. Pages 152–165. Springer. 2006.

Details about Counterexamples with Loops for Predicate Abstraction | BibTeX data for Counterexamples with Loops for Predicate Abstraction | DOI (10.1007/11817963_16) | Link to Counterexamples with Loops for Predicate Abstraction