---

Seminar: Kontextfreie Modellprüfung

Voraussetzung für den Erwerb des Seminarscheins

• "erfolgreicher" Vortrag
• rege Teilnahme an den Diskussionen
• schriftliche Ausarbeitung des Vortrages (Seminararbeit)

Materialien

Alle Vorträge werden in LaTeX erstellt. Eine entsprechende Vorlage ist hier zu finden.

Vorlage (Beamer)
swt-beamer-vorlage.zip (nur intern abrufbar) (externe Datei)

LaTeX-Paket: http://latex-beamer.sourceforge.net/   

Alle Ausarbeitungen werden mittels LaTeX erstellt. Eine entsprechende Vorlage ist hier zu finden:

Vorlage (Ausarbeitung, LaTeX)
vorlage-ausarbeitung.tar.bz2 (nur intern abrufbar) (externe Datei)

Vorlage (pdf)
vorlage-ausarbeitung.pdf (nur intern abrufbar) (externe Datei)

benötigte Pakete (LaTeX)
vorlage-ausarbeitung-pakete.tar.bz2 (nur intern abrufbar) (externe Datei)

Ausarbeitungen

Themen	Datum	Votragender	Folien	Seminararbeit
Modellprüfung - Eine Einführung	22.04.2005	Andreas Both	pdf	entfällt
Modellprüfung für Kellerautomaten	29.04.2005	Maik Jakobsche	pdf
Effizient Algorithmen zur Modellprüfung von Kellerautomaten	13.05.2005	Dirk Richter	pdf
Modellprüfung für rekursive Zusstandsmachinen	20.05.2005	Thomas Grosser	pdf
Konstruktion von Gegenbeispielen	27.05.2005	Thomas Müller	pdf
Softwaremodellprüfung	03.06.2005	Dirk Richter	pdf	entfällt
Werkzeuge zur Softwaremodellprüfung	10.06.2005	Mathias Mühlpfordt	abgesagt
Modellprüfung von Einbruchsschutzeigenschaften	17.06.2005	Thomas Müller		entfällt
Werkzeuge zur Softwaremodellprüfung	24.06.2005	Thomas Grosser	pdf	entfällt
Effiziente Verifikation von Systemen mit unendlich vielen Zuständen	15.07.2005	Maik Jakobsche		entfällt

Zum Seitenanfang