Sascha Böhme

According to our database, Sascha Böhme authored at least 15 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Semi-intelligible Isar Proofs from Machine-Generated Proofs.

Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier

J. Autom. Reason., 2016

2014

A Framework for the Verification of Certifying Computations.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah

J. Autom. Reason., 2014

2013

Encoding Monomorphic and Polymorphic Types.

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Proving Theorems of Higher-Order Logic with SMT Solvers.

Sascha Böhme

PhD thesis, 2012

2011

An Introduction to Certifying Algorithms.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah, Pascal Schweitzer

it Inf. Technol., 2011

Designing Proof Formats: A User's Perspective.

Sascha Böhme, Tjark Weber

Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL.

Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Verification of Certifying Computations.

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Heaps and Data Structures: A Challenge for Automated Provers.

Sascha Böhme, Michal Moskal

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

Extending Sledgehammer with SMT Solvers.

Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.

Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff

J. Autom. Reason., 2010

Fast LCF-Style Proof Reconstruction for Z3.

Sascha Böhme, Tjark Weber

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Sledgehammer: Judgement Day.

Sascha Böhme, Tobias Nipkow

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2008

HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier.

Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

Much Ado About Two.

Sascha Böhme

Arch. Formal Proofs, 2007