Formal Specification

Organizer: Prof. Dr. Heiko Mantel
Form: Block seminar on 11-12.12.2014; one paper, one talk, and one report (with guidance)
Registration: via TUCaN (20-00-0382-se), Miriam Rifai-Schön (S2|02 E318), or Jinwei Hu, Ph.D. (S2|02 E322)
Literature: will be announced during the preparation meeting
Preparation Meeting: 16 Oct 2014 (Thu), 16:00 at S2|02 E302
Seminar Schedule: Friday, Dec 12th 8:30 – 16:00 at S202 Room E302; see internal area for details

Internal area for participants


Computer systems will contain errors, as long as program requirements are formulated in an ambiguous human language and as long as programs are implemented by humans who are not insured against possible carelessness or misunderstandings. For the time being, the only way to guarantee 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 formal methods (e.g., logics, calculi, and game thoeries) can be applied for the precise specification of selected systems, e.g., processors, compilers, and operating systems.

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.

Last modified on 7 December 2014.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang