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
Semester:
Sommersemester
2025
2.01.481 Software Analysis -
Veranstaltungstermin | Raum
- Montag, 7.4.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 10.4.2025 14:00 - 16:00 | A04 2-221
- Montag, 14.4.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 17.4.2025 14:00 - 16:00 | A04 2-221
- Donnerstag, 24.4.2025 14:00 - 16:00 | A04 2-221
- Montag, 28.4.2025 8:00 - 10:00 | A04 2-221
- Montag, 5.5.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 8.5.2025 14:00 - 16:00 | A04 2-221
- Montag, 12.5.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 15.5.2025 14:00 - 16:00 | A04 2-221
- Montag, 19.5.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 22.5.2025 14:00 - 16:00 | A04 2-221
- Montag, 26.5.2025 8:00 - 10:00 | A04 2-221
- Montag, 2.6.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 5.6.2025 14:00 - 16:00 | A04 2-221
- Donnerstag, 12.6.2025 14:00 - 16:00 | A04 2-221
- Montag, 16.6.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 19.6.2025 14:00 - 16:00 | A04 2-221
- Montag, 23.6.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 26.6.2025 14:00 - 16:00 | A04 2-221
- Montag, 30.6.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 3.7.2025 14:00 - 16:00 | A04 2-221
- Montag, 7.7.2025 8:00 - 10:00 | A04 2-221
- Donnerstag, 10.7.2025 14:00 - 16:00 | A04 2-221
- Donnerstag, 17.7.2025 14:00 - 16:00 | A04 2-221
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.
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
2
Lehrsprache
deutsch und englisch