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
Semester:
Summer term
2025
2.01.481 Software Analysis -
Event date(s) | room
- 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
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.
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
2
Lehrsprache
deutsch und englisch