Advanced Topics in Modeling and Verification

2019/2020

Content, progress and pedagogy of the module

Learning objectives

Knowledge

  • 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.

Skills

  • 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

Competences

  • 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

Exam

Exams

Name of examAdvanced Topics in Modeling and Verification
Type of exam
Written or oral exam
ECTS5
Assessment7-point grading scale
Type of gradingInternal examination
Criteria of assessmentAre stated in the Joint Programme Regulations

Additional information

Contact: The Study board for Computer Science at cs-sn@cs.aau.dk or 9940 8854

Facts about the module

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

Organisation

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