This offering is not in the current catalogue. The information is retained from an earlier publication. Check the provider's current offering.
Mälardalen University
Quality assurance - Catching bugs by formal verification
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 theor…
- Higher education
- Information unavailable
- 14 September 2026
- Information unavailable
- Information unavailable
- 25 %
Overview
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.
Admission scores
Entry requirements
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.
The text is reproduced from the Susa source. Antagningsdata does not map GY11 and GY25 or assess personal eligibility.
Source, measure and data quality
- Source
- Skolverket Susa-navet
- Period
- 2026-09-14
- Measure
- Entry-requirement text reproduced from the published Susa data; no personal eligibility assessment is made.
- Population
- Education offering e.uoh.mdu.dva468.10203.20262
- Last checked
- 2026-09-23T10:38:46.21657+00:00
- Limitation
- Antagningsdata does not map GY11 and GY25. General and specific conditions are not separated without structured source data.
Programme content
Study structure
Application and important dates
- Programme or course starts
- Programme or course ends
Salary and salary distribution
Common occupations after graduation
Students
Geographical background
Previous upper-secondary schools and programmes
Completion and outcomes
About the provider
Sources and data quality
Education facts for the selected offering come from Skolverket Susa-navet.
Retrieved . Published . Times are shown in Swedish local time.
Source identity and publication version
- Publication version
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Education identity in the source
- i.uoh.mdu.dva468.10203.20262
- Offering identity in the source
- e.uoh.mdu.dva468.10203.20262
- Education-form source code
- HS
- Education code in the source
- DVA468
- Change time according to the source
- 2026-02-19T13:10:40
The provider, education and education offering are separate identities. Application information should be checked on the official website. Supplementary statistics have not been obtained from this source.