This is an English translation of the module. In case of discrepancy between the translation and the Danish version, the Danish version of the module is valid.
The student must acquire knowledge of advanced mathematical models for formal description and verification of programs, software systems and programming languages with a focus on parallel and communicating systems. In particular, the student must acquire knowledge of:
The course module can also include other formal models.
The teaching is organized in accordance with the general teaching methods for the education, cf. section 17.
The student is expected to spend 27.5 hours per ECTS, which for this activity means 137.5 hours.
|Name of exam||Modelling and Verification|
|Type of exam|
Written or oral exam
|Assessment||7-point grading scale|
|Type of grading||Internal examination|
|Criteria of assessment||The criteria of assessment are stated in the Examination Policies and Procedures|
Contact: Study Board for Computer Science via firstname.lastname@example.org or 9940 8854
|Danish title||Modellering og verifikation|
|Language of instruction||Danish and English|
|Location of the lecture||Campus Aalborg|
|Responsible for the module|
|Study Board||Study Board of Computer Science|
|Department||Department of Computer Science|
|Faculty||The Technical Faculty of IT and Design|