Selected Topics in Modelling and Verification
2020/2021
Content, progress and pedagogy of the module
Learning objectives
Knowledge
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
- Binary Decision Diagrams (BDD)
- SAT algorithms
- predicate logic
- Petri nets, temporal logic
- mobile process calculations.
Skills
- be able to explain precisely and using the terminology and notation of the subject important important theories for description and analysis of software systems;
- be able to use specification and verification methods based on formal models;
- be able to make use of the necessary writing skills in this context
Competences
- be able to use formal models and associated verification tools for description, analysis and verification of software systems
Type of instruction
The type of instruction is organised in accordance with the general instruction methods of the programme, cf. § 17.
Extent and expected workload
It is expected that the student uses 30 hours per ECTS, which for this activity means 150 hours
Exam
Exams
| 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 |
Additional information
Contact: The Study board for Computer Science at cs-sn@cs.aau.dk or 9940 8854
Facts about the module
| 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 |
Organisation
| Study Board | Study Board of Computer Science |
| Department | Department of Computer Science |
| Faculty | Technical Faculty of IT and Design |
