You are here: Home Team Elisabeth Henkel

Elisabeth Henkel

 

Research Interests

Craig interpolation, SMT Solving, Requirements

Publications

DBLP

  • Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality, in SMT 2021, together with Jochen Hoenicke and Tanja Schindler.
  • Hanfor: Semantic Requirements Review at Scale, in REFSQ Workshops 2021, together with Samuel Becker, Daniel Dietsch, Nico Hauff, Vincent Langenfeld, Andreas Podelski and Bernd Westphal.

Tools

Consultation Hours

Please write me an e-mail to make an appointment.