S. Grebing

The KeY Platform for Verification and Analysis of Java Programs

Bernhard Beckert, Vladimir Klebanov, Christoph Scheben, 2014, VSTTE.

Usability Recommendations for User Guidance in Deductive Program Verification

Mattias Ulbrich, Sarah Grebing, Mattias Ulbrich, 2020, 20 Years of KeY.

Interactive Theorem Proving - Modelling the User in the Proof Process

Bernhard Beckert, Sarah Grebing, Bernhard Beckert, 2015, Bridging@CADE.

Evaluating the Usability of Interactive Verification Systems

Bernhard Beckert, Sarah Grebing, Bernhard Beckert, 2012, COMPARE.

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups

Bernhard Beckert, Sarah Grebing, Florian Böhl, 2014, SEFM Workshops.

An Interaction Concept for Program Verification Systems with Explicit Proof Object

Bernhard Beckert, Mattias Ulbrich, Sarah Grebing, 2017, Haifa Verification Conference.

Automating regression verification

Vladimir Klebanov, Mattias Ulbrich, Philipp Rümmer, 2014, Software Engineering & Management.

Debugging Program Verification Proof Scripts (Tool Paper) pdf

Bernhard Beckert, Alexander Weigl, Sarah Grebing, 2018, ArXiv.