Document Actions
Software Reliability
Formal methods for creating reliable software are constantly being developed and improved. Recently there has been a better understanding of the important ingredients of formal methods tools, and this manifests itself in the growing acceptance of reliability tools in the software and hardware development industry.
Slides
Exercises
- Exercise Sheet 1
- Exercise Sheet 2
- Exercise Sheet 3
- Exercise Sheet 4
- Exercise Sheet 5
- Exercise Sheet 6
- Exercise Sheet 7
- Exercise Sheet 8
- Exercise Sheet 9
- Exercise Sheet 10
- Exercise Sheet 11 (SPIN)
- Exercise Sheet 12
Solutions
- Solution Sheet 1
- Solution Sheet 2
- Solution Sheet 3
- Solution Sheet 4
- Solution Sheet 5
- Solution Sheet 6
- Solution Sheet 7
- Solution Sheet 8
- Solution Sheet 9
- Solution Sheet 10
- Solution Sheet 11 (SPIN)
- Solution Sheet 12
- Instructors: Prof. Dr. Andreas Podelski | Martin Mehlmann
- Times & Locations: Do, 11.00-13.00, HS-0033 Geb 051 | Fr, 11.00-13.00. HS-0033 Geb 051
- Tutors: Sergiy Bogomolov | Jürgen Christ
- Times & Locations of tutorials: Tuesday 9.15 - 11.00 (Sergiy Bogomolov) | Wednesday 13.15 - 15.00 (Jürgen Christ)