Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2013 / Formale Spezifikation und Verifikation / Aktuelles (alt)


Inhaltsbereich

Aktuelles (alt)

  • Informationen zur Klausur am 25.7.:
    • Ort: Hörsaal A 240, Hauptgebäude
    • Einlass: ca. 9:15 Uhr
    • Beginn: 9:30 Uhr; Nach Beginn ist kein Einlass mehr möglich.
    • Bearbeitungszeit: 120 Minuten
    • Die Klausur findet ohne Hilfsmittel statt. Insbesondere sind keine schriftlichen Unterlagen, keine Taschenrechner oder andere Rechner, keine Mobiltelefone oder andere Kommunikationsmittel erlaubt.
    • Mitzubringen sind:
      • gültiger Immatrikulationsnachweis für dieses Semester
      • gültiger Personalausweis oder Pass mit Lichtbild
      • Schreibzeug (keine Rot- und Grünstifte, kein Bleistift)
      • Eigenes Papier ist nicht erforderlich und darf für die Prüfung nicht benutzt werden.
  • Hinweis zu Blatt 6: NuSMV ist im CIP-Pool installiert und kann mittels NuSMV eingabe.smv ausgeführt werden. Ein Paket mit SMV-Beispieldateien wurde zu den Materialien hinzugefügt. Die Antworten zu Aufgabe 5-1 lassen sich mit der SMV-Datei aufgabe5-1.smv überprüfen.
  • 23.5.: Wegen eines Feiertags entfallen die Übungen in der kommenden Woche (d.h. am 30. und 31. Mai). Die Bearbeitungszeit für Blatt 6 beträgt zwei Wochen.
  • 22.5.: Der Klausurtermin seht nun fest (siehe unten).
  • 16.5.: Die Pakete javaCNF.zip und javaBDD.zip wurden aktualisiert und enthalten nun Programme, welche Lösungen für die Übungsaufgaben 2-1 und 4-1 berechnen.
  • 11.5.: In der Beschreibung des Systems in Aufgabe 4-1 waren die Ungleichungen verdreht. Es muss b1'<=b0 und b2'<=b1 und b0'<=b2 heißen. Blatt 4 wurde entsprechend aktualisiert.
  • 9.5.: Es wurden OCaml- und Java-Frontends für Berechnungen mit BDDs zu den Materialen hinzugefügt. Damit lassen sich zum Beispiel die Berechnungen in Übungsaufgaben leicht nachprüfen.
  • Am 9.5. findet wegen eines Feiertags keine Übung statt. Die ausfallende Übung wird stattdessen am 13.5., 12-14 Uhr im Raum BU101 (Oettingenstr. 67) gehalten.
  • Bitte melden Sie sich bei UniWorX für die Veranstaltung an.

Artikelaktionen


Funktionsleiste