KeY
Please watch the introduction video (no audio). You can pause the video at any time to comprehend the content.
Best Practices
- Focus on a goal.
- Inspect the parent nodes of the goal to comprehend
- the followed execution path.
- the parts of the postcondition which
- could be proven and
- are currently still open.