General
Formal Methods in Software Development (WS 2010/11)
(KV3/Software Engineering: 326.013, KV4/Computer Mathematics: 326.053)
Time: Friday 8:30-11:45.
Room: T 111 (November 10, 10:00-11:45: T 211)
Start: October 15.
Important: To take part in the course, you have to enrol in the KUSSS system. The course is offered simultaneously as
This course gives a survey on the use of formal methods for the development of reliable software. More specifically, we deal with
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 Announcements forum and may yourself post messages in the Questions and Answers forum.
(KV3/Software Engineering: 326.013, KV4/Computer Mathematics: 326.053)
Time: Friday 8:30-11:45.
Room: T 111 (November 10, 10:00-11:45: T 211)
Start: October 15.
Important: To take part in the course, you have to enrol in the KUSSS system. The course is offered simultaneously as
- KV3/326.013 (for the master program "Software Engineering") and
- KV4/326.053 (for the master program "Computer Mathematics").
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.
- queueing theory and its application to the performance analysis of computing systems.
- a lecture part where the fundamental issues of the field are taught, and
- an exercise part where practical skills are trained using freely available software tools.
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 Announcements forum and may yourself post messages in the Questions and Answers forum.