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/DozentIn steht.

VA-Details

Semester: Wintersemester 2021

2.01.490 Seminar Invariantengenerierung -  


Veranstaltungstermine

  • Mo., 25.10.2021 16:00 - 17:00
  • Mi., 08.12.2021 16:00 - 18: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
--

(Stand: 09.06.2021)