Understanding Proof Attempts

The goal of the evaluation is to compare the inspection of proof attempts using KeY and the Symbolic Execution Debugger (SED). During the evaluation, four proofs and related questions will be shown to you. You can contribute to the evaluation by answering these questions as best as you can. The evaluation usually takes about 60 minutes.

Please read all instructions carefully. You can do nothing wrong as long as you answer all questions as best as you can.

Terms of Use

Thank you very much!