Verification Meets Distributed Computing - Detailseite

Grunddaten
Veranstaltungsart	Seminar	Veranstaltungsnummer	3313095
Semester	WiSe 2024/25	SWS	2
Rhythmus		Moodle-Link
Veranstaltungsstatus	Freigegeben für Vorlesungsverzeichnis Freigegeben	Sprache	englisch
Belegungsfristen - Eine Belegung ist online erforderlich	Zentrale Nachfrist 14.10.2024 - 17.10.2024
Belegungsfristen - Eine Belegung ist online erforderlich	Zentrale Frist 01.07.2024 - 09.10.2024 aktuell
Veranstaltungsformat	Keine Angabe

Gruppe 1
Tag	Zeit	Rhythmus	Dauer	Raum	Gebäude	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
-.	bis	Block					Stietel	findet statt			20

Gruppe 1:

auswählen

jetzt belegen / abmelden

Zugeordnete Person
Zugeordnete Person	Zuständigkeit
Stietel, Olivier

Studiengänge
Abschluss	Studiengang	LP	Semester
Master of Education (BS)	Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )	5	-
Master of Education (ISG)	Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )	5	-
Master of Education (ISG)	Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )	5	-
Master of Science	Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2015 )	5	-
Master of Science	Wirtschaftsinformatik Hauptfach ( Vertiefung: kein LA; POVersion: 2016 )	5	-
Programmstudium-o.Abschl.	Chemie Programm ( POVersion: 1999 )	5	-
Programmstudium-o.Abschl.	Geographie Programm ( POVersion: 1999 )	5	-
Programmstudium-o.Abschl.	Informatik Programm ( POVersion: 1999 )	5	-
Programmstudium-o.Abschl.	Mathematik Programm ( POVersion: 1999 )	5	-
Programmstudium-o.Abschl.	Physik Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Ab.Prom.	Informatik Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Chemie Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Geographie Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Global Change Geography Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Informatik Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Mathematik Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Optical Sciences Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Physik Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Polymer Science Programm ( POVersion: 1999 )	5	-
Programmstud.-o.Abschl.MA	Urbane Geographien Programm ( POVersion: 1999 )	5	-

Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik

Inhalt
Kommentar	Formal verification is the process of mathematically checking the behaviour of a system. This requires a formal model of computing so that we can describe the desired behaviour of the system and prove that given properties are satisfied by the system. In this seminar, we focus on the formal verification of distributed systems, which have their own specific challenges. We will study topics such as linear time temporal logic (LTL), one of its manifestations known as TLA+, and separation logic in the context of formal verification.
Bemerkung	The seminar will be fully in English.

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden: