Hauptnavigation
- Navigation
-
- Aktuelles
- Mitarbeiter
-
Lehre
- SS 2019
- WS 2018/19
- SS 2018
- WS 2017/18
- SS 2017
- WS 2016/17
- SS 2016
- Frühere Semester
- Bachelor- und Masterarbeiten
- UniWorX
-
SS 2015
- Programmierung und Modellierung
- Theoretische Informatik für Medieninformatiker
- IT-Kompetenz
-
Formale Spezifikation und Verifikation
-
Uebungen
- Blatt 1
- Blatt 2
- Programmrahmen für Aufgabe 2.2 (OCaml)
- Programmrahmen für Aufgabe 2.2 (Java)
- Blatt 3
- Lösung für Aufgabe 2-2 (OCaml)
- Lösung für Aufgabe 2-2 (Java)
- Blatt 4
- Blatt 5
- Blatt 6
- Blatt 7
- aufgabe7-1.smv
- Blatt 8
- Blatt 9
- lsg 7 1 3
- lsg 7 1 1
- lsg 7 1 2
- ae.ml
- lsg-8-2.txt
- Blatt 10
- Blatt 11
- Blatt 12
- Lösung 12-3
- Lösung 12-4
- Lösung 10-4
- Lösung 11-4
- SortnetBDD.java
- SortnetSAT.java
- lsg5.zip
-
Uebungen
- Formale Methoden in der IT-Sicherheit
- Algorithmische und formale Aspekte II b
- Modern Computer Architecture
- Oberseminar
- Forschung
- Lehrerausbildung
- Schüler an der Uni
l12-4.pdf