Hauptnavigation
- Navigation
-
- Aktuelles
- Mitarbeiter
-
Lehre
- SS 2017
- WS 2016/17
- SS 2016
- WS 2015/16
- SS 2015
- WS 2014/15
-
SS 2014
- Programmierung und Modellierung
- Theoretische Informatik für Medieninformatiker
-
Formale Spezifikation und Verifikation
-
Materialien
- Folien Kapitel 1
- OCAML Frontend zu zChaff
- javaCNF.zip
- Folien Kapitel 2
- ABP wie in der Vorlesung implementiert
- Folien Kapitel 3
- Datei abp1.smv zur 7. Übung
- loesung-5-3-1.smv
- loesung-5-3-2.smv
- loesung-5-3-3.smv
- Beispiel für ESC Java2 (Bag.java -- Original)
- Beispiel für Krakatoa (BinarySearch.java)
- Beispiel für ESC Java2 (Bag.java -- mit Annotationen)
-
Materialien
- Codierungstheorie
- Automatisches Beweisen
- Oberseminar
- WS 2013/14
- Frühere Semester
- Bachelor- und Masterarbeiten
- Forschung
- Lehrerausbildung
- Schüler an der Uni
folienK1.pdf