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 (Lecturersdirectly.

VA-Details

Semester: Winter term 2021

2.01.490 Seminar Invariantengenerierung -  


Veranstaltungstermin

  • Mo., 25.10.2021 16:00 - 17:00

Veranstaltungsort

  • n. V. bitte sprechen Sie die/den Lehrenden an.

Beschreibung

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.

DozentIn

TutorInnen

SWS
2

Art der Lehre
Hybrid (Online und Präsenz)

Lehrsprache
--

empfohlenes Fachsemester
--

(Changed: 2021-04-30)