Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.481 Software Analysis -
Veranstaltungstermin | Raum
- 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
Beschreibung
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.
Lehrende
SWS
4
Lehrsprache
deutsch und englisch