General

Formal Methods in Software Development (WS 2008/09)
(KV4/computer mathematics: 326.053, KV3/software engineering: 326.013)

Time:

• Friday 8:30-11:45 (no lecture on January 23).
  
• Monday, November 10, 15:30-18:45 (HS 13, HS 14).

Room: T 911 (October 31: T111)

Start: October 10.

---

This course gives a survey on the use of formal methods for the development of reliable software. More specifically, we deal with

• specifying sequential programs and concurrent systems,
  
• computer-supported verification,
• extended static checking,
• model checking.

Furthermore, a guest lecture by Janos Sztrik (University of Debrecen) will give an introduction on

• queueing theory and its application to the performance analysis of computing systems.
  

The course consists of two parts:

1. a lecture part where the fundamental issues of the field are taught, and
2. an exercise part where practical skills are trained using freely available software tools.

The grading of the course will be based on a couple of exercises and a final exam. The course is offered simultaneously as KV4 (for the master program "Computer Mathematics") and KV3 (for the master program "Software Engineering"). The detailed organization will be explained in class.

---

To take part in the course, you have to enrol in the KUSSS system. Since the exercises will be submitted via Moodle, you also have to login in Moodle and register as a course participant. You will then also receive per email all messages posted in the News forum.