Sascha Böhme

From MaRDI portal
Person:287336

Available identifiers

zbMath Open bohme.saschaMaRDI QIDQ287336

List of research outcomes





PublicationDate of PublicationType
Encoding Monomorphic and Polymorphic Types2017-04-11Paper
Semi-intelligible Isar proofs from machine-generated proofs2016-05-26Paper
Extending Sledgehammer with SMT solvers2015-06-23Paper
A framework for the verification of certifying computations2015-06-23Paper
Encoding Monomorphic and Polymorphic Types2013-08-05Paper
Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL2011-11-22Paper
Extending Sledgehammer with SMT Solvers2011-07-29Paper
Heaps and Data Structures: A Challenge for Automated Provers2011-07-29Paper
Fast LCF-Style Proof Reconstruction for Z32010-09-14Paper
Sledgehammer: Judgement Day2010-09-14Paper
HOL-Boogie -- an interactive prover-backend for the verifying C compiler2010-01-25Paper
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier2008-12-04Paper

Research outcomes over time

This page was built for person: Sascha Böhme

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:287336&oldid=7549093"
Powered by MediaWiki