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
2023
2.01.481 Software Analysis -
Veranstaltungstermin | Raum
- Dienstag, 11.4.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 13.4.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 18.4.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 20.4.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 25.4.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 27.4.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 2.5.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 4.5.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 9.5.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 11.5.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 16.5.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 23.5.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 25.5.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 30.5.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 1.6.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 6.6.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 8.6.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 13.6.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 15.6.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 20.6.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 22.6.2023 10:15 - 11:45 | A04 4-411
- Dienstag, 27.6.2023 10:15 - 11:45 | A04 4-411
- Donnerstag, 29.6.2023 10:15 - 11:45 | A04 2-220
- Dienstag, 4.7.2023 10:15 - 11:45 | A04 2-220
- Donnerstag, 6.7.2023 10:15 - 11:45 | A04 2-220
- Dienstag, 11.7.2023 10:15 - 11:45 | A04 2-220
- Donnerstag, 13.7.2023 10:15 - 11:45 | A04 2-220
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 study different software analysis techniques, in particular various data-flow analyses and abstract interpretation.
Lehrende
SWS
2