Formale Spezifikation und Verifikation

Aktuelles

  • Achtung: Die Vorlesung findet ab sofort regulär im Wintersemester (und nicht im Sommersemester) statt.

    Zuletzt verändert: Mi 02 Sep 2020 17:15

Beschreibung

Inhalt

Die Veranstaltung führt in grundlegende Methoden und Konzepte ein, die bei der Spezifikation und Verifikation von Systemen von Bedeutung sind. Es werden Spezifikationsformalismen, Konzepte der System-Modellierung und Grundtechniken für die Automatisierung der Verifikation behandelt. Neben der Vorlesung werden die besprochenen Inhalte im Übungsteil anhand von praktischen Anwendungen eingeübt.

Hörerkreis

Bachelor Informatik

Organisatorisches

Als zentrale Plattform wird Moodle verwendet, der Kurs wird dort noch rechtzeitig eingerichtet. Melden Sie sich dort auf jeden Fall zusätzlich an, bleiben Sie bitte aber auch im Uni2Work Kurs.

Als Vorlesungsgrundlage verwenden wir die Folien und Videoaufzeichnungen des letzten Sommersemesters 2020, der Vorlesungsinhalt wird also im Wesentlichen der selbe sein. Wir behalten uns vor, einzelne Themen/Folien/Aufzeichnungen anzupassen. Hier finden Sie die Aufzeichnungen vom SoSe 2020, die alten Folien finden Sie unter Material.

Es gibt wöchentliche Übungsblätter und mehrere kleinere Projekte (mit Bonuspunkten für die Klausur).

Die Besprechung der Übung findet auf jeden Fall online statt. Wir starten zunächst rein online, falls möglich werden wir zu einem späteren Zeitpunkt auch Präsenzübungen anbieten, .

Die Hauptklausur findet am 16.02.2021 um 16-18 Uhr statt (90 min Schreibzeit), die Zweitklausur findet am 6.4. um 10-12 Uhr statt.

Gerne können Sie uns bei Fragen direkt kontaktieren.

Empfohlene Vorkenntnisse

  • Logik und Diskrete Strukturen
  • Formale Sprachen und Komplexität
  • System- oder Softwareentwicklungspraktikum

Literatur

Institut
Institut für Informatik
Dozent:in
Assistent:in
Korrektor:innen
Kursteilnehmer:innen
344
Anmeldung

Di 01 Sep 2020 00:00 – Mi 31 Mär 2021 23:59

Abmeldung nur bis Mi 31 Mär 2021 23:59

Material

Die Übungsblatter zum Kurs finden Sie hier: Übungsblätter

Material zum Kurs finden Sie hier: Material

Das Kursmaterial ist ohne Anmeldung frei zugänglich

Prüfungen
NameAnmeldung abAnmeldung bisTerminPrüfungsanmeldung
Hauptklausur
So 20 Dez 2020 11:00
Mi 10 Feb 2021 22:55
Di 16 Feb 2021 16:00 – 18:00
Nicht zur Prüfung angemeldet
Zweitklausur(abgesagt!)
Di 12 Jan 2021 11:00
So 04 Apr 2021 23:55
Di 06 Apr 2021 10:00 – 12:00
Nicht zur Prüfung angemeldet
Zweitklausur (Nachholtermin)
Di 01 Jun 2021 11:00
Do 01 Jul 2021 22:55
Fr 02 Jul 2021 16:00 – 18:00
Nicht zur Prüfung angemeldet
Tutorien
9 passende Einträge insgesamt
ArtBezeichnungTutorenRegulärer RaumZeitAnmeldungen abAnmeldungen bisAbmeldungen bisFreie Plätze
Einsicht Hauptklausur
Einsicht Hauptklausur 10:00
    Raum wird nur Teilnehmern angezeigt
    • Di 09 Mär 2021 10:00–10:20
    Fr 05 Mär 2021 00:00
    Di 09 Mär 2021 00:00
    0
    Einsicht Hauptklausur
    Einsicht Hauptklausur 10:20
      Raum wird nur Teilnehmern angezeigt
      • Di 09 Mär 2021 10:20–10:40
      Fr 05 Mär 2021 00:00
      Di 09 Mär 2021 00:00
      0
      Einsicht Hauptklausur
      Einsicht Hauptklausur 10:40
        Raum wird nur Teilnehmern angezeigt
        • Di 09 Mär 2021 10:40–11:00
        Fr 05 Mär 2021 00:00
        Di 09 Mär 2021 00:00
        2
        Einsicht Hauptklausur
        Einsicht Hauptklausur 13:00
          Raum 057, Oettingenstr. 67
          • Di 09 Mär 2021 13:00–13:20
          Fr 05 Mär 2021 00:00
          Di 09 Mär 2021 00:00
          0
          Einsicht Hauptklausur
          Einsicht Hauptklausur 13:20
            Raum wird nur Teilnehmern angezeigt
            • Di 09 Mär 2021 13:20–13:40
            Fr 05 Mär 2021 00:00
            Di 09 Mär 2021 00:00
            5
            Einsicht Hauptklausur
            Einsicht Hauptklausur 13:40
              Raum wird nur Teilnehmern angezeigt
              • Di 09 Mär 2021 13:40–14:00
              Fr 05 Mär 2021 00:00
              Di 09 Mär 2021 00:00
              3
              Einsicht Hauptklausur
              Einsicht Hauptklausur 15:00
                Raum wird nur Teilnehmern angezeigt
                • Di 09 Mär 2021 15:00–15:20
                Fr 05 Mär 2021 00:00
                Di 09 Mär 2021 00:00
                1
                Einsicht Hauptklausur
                Einsicht Hauptklausur 15:20
                  Raum wird nur Teilnehmern angezeigt
                  • Di 09 Mär 2021 15:20–15:40
                  Fr 05 Mär 2021 00:00
                  Di 09 Mär 2021 00:00
                  2
                  Einsicht Hauptklausur
                  Einsicht Hauptklausur 15:40
                    Raum wird nur Teilnehmern angezeigt
                    • Di 09 Mär 2021 15:40–16:00
                    Fr 05 Mär 2021 00:00
                    Di 09 Mär 2021 00:00
                    1
                    9 passende Einträge insgesamt