Quality assurance - Catching bugs by formal verification

Utbildningsfakta

Kod: DVA468

The aim of the course is to introduce you to methods and tools for verifying systems that need to react to external stimuli. The methods use system models with precise formal semantics and will span model-checking as well as deductive verification. The objective of the course is to understand the underpinning theories of formal verification, and learn how to apply tool support in order to verify system models.

Behörighet

120 credits, of which 80 credits in engineering or informatics, including at least 30 credits in computer science or software development. In addition Swedish course 3 or Swedish level 3 and English course 6 or English level 2 are required. For courses given entirely in English exemption is made from the requirement in Swedish course 3 or Swedish level 3.

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Quality assurance - Catching bugs by formal verification

  Mälardalen University

  Startdatum: 14 september 2026

  Slutdatum: 17 januari 2027

  Studietakt: 25 %