DD2453 Advanced Formal Methods 7.5 credits

Avancerade formella metoder

Over the past decade a host of new techniques have emerged for the modeling and analysis of systems focusing on aspects such as distribution, mobility, performance, and security. The course 2D1453 is an advanced level, project-oriented course intended to put students in touch with the state-of-the-art in this general area. Students are offered a set of mini project ideas, generally based on adapting or modifying a scheme from some research paper, and presenting the results at a one-day workshop held at the end of the course. The contents of the course will vary annually, with different selections of papers and different themes. Each theme will be supported, as needed, by introductory course modules.

Offering and execution

Course offering missing for current semester as well as for previous and coming semesters

Course information

Content and learning outcomes

Course contents *

Students will select from a set of mini-projects offered by supervisors at the beginning of the course. Each mini-project will be based on the idea of acquiring and analyzing a state-of-the-art research paper, and students will be asked to perform some specific case study, adapt, implement, or otherwise reconstruct or validate the papers findings. The course starts with a number of lectures to introduce the subjects of main relevance for the course. This is completed by a midterm take-home exam. For the project work students may have to trace previous work and acquire some more specialized background knowledge. The results of the mini projects will be presented at a one day workshop at the end of the course.

Intended learning outcomes *

The course is intended to put students in touch with the state-of-the-art in the area of formal modeling and analysis within some specific field of interest, and to train their presentation and research skills. Upon completion of the course students will have shown their ability to acquire some state-of-the-art technique as presented in a scientific paper, to analyze it for correctness, applicability, and scope, to use and adapt it for some specifically given purpose, and to present their findings to their peers.

Course Disposition

No information inserted

Literature and preparations

Specific prerequisites *

No information inserted

Recommended prerequisites

Corresponding to 2D1452/DD2452 Formal methods.

Equipment

No information inserted

Literature

Research papers. Miscellanous background reading material.

Examination and completion

Grading scale *

A, B, C, D, E, FX, F

Examination *

  • PRO1 - Project, 7.5 credits, Grading scale: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Other requirements for final grade *

Project involving report, presentation, and participation in workshop (PRO1; 7,5 university credits)

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

Mads Dam

Further information

Course web

No information inserted

Offered by

CSC/Computer Science

Main field of study *

No information inserted

Education cycle *

Second cycle

Add-on studies

Please discuss with the course leader.

Contact

Mads Dam, tel: 790 6229, e-post: mfd@kth.se

Ethical approach *

  • All members of a group are responsible for the group's work.
  • In any assessment, every student shall honestly disclose any help received and sources used.
  • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Supplementary information

The course is given every second year.