Kaisa_2012_3_photo by Veikko Somerpuro

12.8.2019 at 09:00 - 10.12.2019 at 23:59


Master's Programme in Computer Science is responsible for the course.

The course belong to following modules:

  • Discrete Algorithms course package CSM12100
  • Module in Discrete Algorithms CSM22100

The course is available to students from other degree programmes.

Course CSM12101 Design and Analysis of Algorithms, or equivalent knowledge and skills. Basic knowledge of formal logic.

-What other courses are recommended to be taken in addition to this course?

To continue with a Master's thesis in computer science related to the topic of the seminar.

Courses: Automated Logical Reasoning.

-Which other courses support the further development of the competence provided by this

Academic writing courses

An ability to give scientific presentations. An ability to peer-review and give oral and written feedback on written work and on oral presentations. Improved scientific writing skills on discrete algorithms topics in general and in model checking in particular. In-depth theoretical and/or practical understanding of an advanced topic in model checking and verification.

After (or at the same time as) the course CSM12101 Design and Analysis of Algorithms.

Autumn 2019

The seminar is focused on fundamentals and state-of-the-art algorithmic approaches to hardware and software model checking.

Selected scientific articles and handbook chapters on aspects of model checking. Reading materials will be provided in electronic form to the students.

Suggestions on supplemental works will be made available at the time the seminar starts.

Grading is 1..5. Oral presentation, written work, and peer-review work are evaluated with a common grade

The course is primarily available as a 5-ECTS seminar consisting of a seminar presentation, written work, and peer review. Active participation in the seminar meetings is expected.

Keijo Heljanko, Matti Järvisalo