About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Winter Term 2005/06  -  Specification and Verification

Course title:  Specification and Verification

Lecturer:  Prof. Reichel

Module:  SV

Status:  advanced unit

SWS (lecture/tutorial/practical):  0/0/2

Credit points:  3

Examination method:  part of the oral module examination

Prerequisites:

• module "Advanced Logics"

Course description:

The seminar deals with a variety of research topics like Model Checking, Type Theory, Game semantics and so on. Participants have to prepare a talk with slides and a paper which represents the specific topic. The main topic of the seminar changes from one to the next semester. (Detailed information can be found on the course web page.)

Additional information:

• the course web page