The student should gain knowledge of recent research in advanced mathematical models for formal description and verification of programs, software systems and programming languages. These can, e.g. be
The type of instruction is organised in accordance with the general instruction methods of the programme, cf. § 17.
It is expected that the student uses 30 hours per ECTS, which for this activity means 150 hours
Name of exam | Selected Topics in Modelling and Verification |
Type of exam | Written or oral exam |
ECTS | 5 |
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: The Study board for Computer Science at cs-sn@cs.aau.dk or 9940 8854
Danish title | Udvalgte emner inden for modellering og verifikation |
Module code | DSNCSITK226 |
Module type | Course |
Duration | 1 semester |
Semester | Spring
|
ECTS | 5 |
Language of instruction | English |
Empty-place Scheme | Yes |
Location of the lecture | Campus Aalborg |
Responsible for the module |
Education owner | Master of Science (MSc) in Computer Science (IT) |
Study Board | Study Board of Computer Science |
Department | Department of Computer Science |
Faculty | The Technical Faculty of IT and Design |