Seminar: Formal Specification

Organizer:	Prof. Dr. Heiko Mantel
Form:	block seminar
When and where:	9:00-12:15, December 7, 2012 in A213
Registration:	via TUCaN or in our secretariat
Literature:	will be announced during the preparation meeting
Preparation Meeting:	Thursday, October 18, 2012, 16:15 in room S2|02/E302

Content

As long as requirements to computer designs are formulated in an ambiguous human language and as long as these designs are implemented by humans who are not insured against possible carelessness or misunderstandings, computer systems will contain errors. For the time being, the only way to guarantee the absence of errors in a computer system is to exploit rigorous formal methods of mathematics for specifying the intended behavior of a system and for proving that the actual implementation of the system has the desired behavior.

In the seminar we will consider articles describing how logic and mathematics can be applied for the precise specification of selected systems, e.g., processors, compilers, and microkernels.

The participants of the seminar can use the opportunity to apply the studied techniques in the lab course "Modeling Lab", which will take place in the same semester. However, the seminar and the lab course can also be taken individually.

Internal Area

Materials for participants are available in the internal area.

Last modified on 19 November 2012.