Kies de Nederlandse taal
Course module: 201400200
Capita Selecta Methods and Tools for Verification
Course info
Course module201400200
Credits (ECTS)5
Course typeCourse
Language of instructionEnglish
Contact personprof.dr. M. Huisman
Contactperson for the course
prof.dr. M. Huisman
prof.dr. M. Huisman
Academic year2016
Starting block
Application procedureYou apply via OSIRIS Student
Registration using OSIRISYes
Learning goals
Obtain in-depth knowledge of a special topic in the area of Methods and Tools for Verification.
This course enables a student to study an advanced topic in Methods and Tools for Verification. This advanced topic may be needed for performing a Final Project, but it could also be the case that a student is just interested in this topic. The course is not scheduled in the time table of the programme, since it will be adapted to the students needs. Students are expected to show a high degree of independence and initiative in following this course.

Once a student has found a teacher for this course, student and teacher should reach an agreement about:
  • the topic to be studied
  • the course materials (e.g. papers, books)
  • the learning activities (e.g. self study, assignments, projects, presentations)
  • a time schedule for the activities
  • the assessment procedure and criteria.
This course can be taken individually, but it is also possible to follow this course as a group.
Assumed previous knowledge
Required materials
Recommended materials
Course material
Selected Literature
Instructional modes
Self study without assistance


Kies de Nederlandse taal