Course categories:


Computersysteme (SS 2006)
Lektor: Wolfgang Schreiner

Diese Lehrveranstaltung bietet einen Überblick über den Aufbau von Computersystemen.
Formal Methods in Software Development (SS 2006)
Lecturer: Wolfgang Schreiner

This course gives a survey on the use of formal methods for the development of reliable software
using freely available tools.
Project Seminar Formal Methods in Computer Science (SS 2006)
Lecturer: Wolfgang Schreiner
Lecturer: Franz Lichtenberger

In this seminar, we explore current research and software for
specifying and verifying computer programs (specification languages,
program verifiers, model checkers, ...)