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.
DD2453 Advanced Formal Methods 7.5 credits
This course has been discontinued.
Last planned examination: Spring 2012
Decision to discontinue this course:
No information inserted
Information per course offering
Course offerings are missing for current or upcoming semesters.
Course syllabus as PDF
Please note: all information from the Course syllabus is available on this page in an accessible format.
Course syllabus DD2453 (Spring 2009–)Headings with content from the Course syllabus DD2453 (Spring 2009–) are denoted with an asterisk ( )
Content and learning outcomes
Course contents
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.
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
If the course is discontinued, students may request to be examined during the following two academic years.
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
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.
Further information
Course room in Canvas
Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.
Offered by
Main field of study
This course does not belong to any Main field of study.
Education cycle
Second cycle
Add-on studies
Please discuss with the course leader.
Contact
Mads Dam, tel: 790 6229, e-post: mfd@kth.se
Supplementary information
The course is given every second year.