Advanced Topics in Modeling and Verification


Content, progress and pedagogy of the module

Learning objectives


  • Students should achieve knowledge of recent research on advanced mathematical models for the formal description and verification of programmes, software systems and programming languages. E.g. Binary Decision Diagrams (BDD), SAT-algorithms, predicate logic, Petri nets, temporal logician and mobile process calculi.


  • the ability to explain course concepts and important theories precisely using the terminology and notation of the discipline
  • apply methods for specification and verification based on formal models
  • be able to make use of the necessary writing skills in these contexts


  • be able to use formal models and associated verification tools for description, analysis and verification of software systems.

Type of instruction

The teaching is organized according to the general teaching methods for the education, cf. chapter 3

Extent and expected workload

It is expected that the student uses 30 hours per ECTS, which for this activity means 150 hours



Name of examAdvanced Topics in Modeling and Verification
Type of exam
Written or oral exam
Assessment7-point grading scale
Type of gradingInternal examination
Criteria of assessmentThe criteria of assessment are stated in the Examination Policies and Procedures

Additional information

Contact: The Study board for Computer Science at or 9940 8854

Facts about the module

Danish titleAvancerede emner inden for modellering og verifikation
Module codeDSNDATFK202
Module typeCourse
Duration1 semester
Language of instructionDanish and English
Empty-place SchemeYes
Location of the lectureCampus Aalborg
Responsible for the module


Study BoardStudy Board of Computer Science
DepartmentDepartment of Computer Science
FacultyTechnical Faculty of IT and Design