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:
Winter term
2021
2.01.490 Seminar Invariantengenerierung -
Event date(s) | room
- Montag, 25.10.2021 16:00 - 17:00 | online
- Mittwoch, 8.12.2021 16:00 - 18:00 | A02 3 334
Location
- n. V. bitte sprechen Sie die/den Lehrenden an.
Description
In diesem Seminar für Masterstudierende werden wir uns mit dem Thema der Invariantengenerierung in der Programmverifikation beschäftigen. Invarianten beschreiben Programmeigenschaften (Aussagen über die Werte von Programmvariablen), die immer gelten (also invariant sind). "Immer" kann sich hierbei auf das gesamte Programm oder auf eine Schleife in einem Programm beziehen. Die Techniken, die wir kennenlernen, nutzen logisches Schließen, Induktion oder auch Techniken des maschinellen Lernens.
lecturer
Tutors
SWS
2
Art der Lehre
Hybrid (Online und Präsenz)
Lehrsprache
--