Powerpoint Presentation

Powerpoint Presentation of the exercise session.

PPT

Auswertung Exercise 

You can solve this sheet online and get instant feedback. I nevertheless advise you to compare your solution with the master solution (which you can download), because the system may make mistakes :)

online

Auswertung Exercise 

This is the same exercise as above, just in PDF format.

PDF

Auswertung Solution

Solution to the Exercise above.

PDF

Hoare Tripel Exercise 

You can solve this sheet online and get instant feedback. I nevertheless advise you to compare your solution with the master solution (which you can download), because the system may make mistakes :)

online

Hoare Tripel Exercise 

This is the same exercise as above, just in PDF format.

PDF

Hoare Tripel Solution

Solution to the Exercise above.

PDF

Weakest Precondition Exercise

You can solve this sheet online and get instant feedback. I nevertheless advise you to compare your solution with the master solution (which you can download), because the system may make mistakes :)

online

Weakest Precondition Exercise

This is the same exercise as above, just in PDF format.

PDF

Weakest Precondition Solution

Solution to the Exercise above.

PDF

Summary Week 3 (zelleraa)

First Java programs and Introduction to Types and Variables, Introduction to Precondition and Postcondition.

Website

Summary Week 4 (zelleraa)

More on Precondition and Postcondition, Introduction to Branching with if / else Statements.

Website

Summary Week 5 (zelleraa)

Advanced Branching with Loops. Weakest Precondition, Value Semantics, Reference Semantics and Immutable Objects.

Website