Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
2.01.481 Software Analysis -
Event date(s) | room
- Donnerstag, 9.4.2026 14:00 - 16:00 | A04 2-221
- Montag, 13.4.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 16.4.2026 14:00 - 16:00 | A04 2-221
- Montag, 20.4.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 23.4.2026 14:00 - 16:00 | A04 2-221
- Montag, 27.4.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 30.4.2026 14:00 - 16:00 | A04 2-221
- Montag, 4.5.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 7.5.2026 14:00 - 16:00 | A04 2-221
- Montag, 11.5.2026 10:00 - 12:00 | A04 2-221
- Montag, 18.5.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 21.5.2026 14:00 - 16:00 | A04 2-221
- Donnerstag, 28.5.2026 14:00 - 16:00 | A04 2-221
- Montag, 1.6.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 4.6.2026 14:00 - 16:00 | A04 2-221
- Montag, 8.6.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 11.6.2026 14:00 - 16:00 | A04 2-221
- Montag, 15.6.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 18.6.2026 14:00 - 16:00 | A04 2-221
- Montag, 22.6.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 25.6.2026 14:00 - 16:00 | A04 2-221
- Montag, 29.6.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 2.7.2026 14:00 - 16:00 | A04 2-221
- Montag, 6.7.2026 10:00 - 12:00 | A04 2-221
- Donnerstag, 9.7.2026 14:00 - 16:00 | A04 2-221
- Donnerstag, 23.7.2026 10:00 - 12:00 | A01 0-006
Description
Software analyses extract facts about programs from source code. Such facts
can be employed by compilers to optimize programs during compilation, but
can also be used to verify correctness of programs. In this course, we will get to know different analysis techniques and also implement some ourselves.
Lecturers
SWS
4
Lehrsprache
deutsch und englisch