Tillfället ingår inte i den aktuella katalogen. Uppgifterna är bevarade från en tidigare publicering. Kontrollera aktuellt utbud hos anordnaren.
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…
- Högskoleutbildning
- Uppgift saknas
- 14 september 2026
- Uppgift saknas
- Uppgift saknas
- 25 %
Översikt
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.
Antagningspoäng
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.
Texten återges från Susa-underlaget. Antagningsdata gör ingen egen mappning mellan GY11 och GY25 och bedömer inte personlig behörighet.
Källa, mått och datakvalitet
- Källa
- Skolverket Susa-navet
- Period
- 2026-09-14
- Mått
- Behörighetstext återgiven från publicerat Susa-underlag; ingen personlig behörighetsbedömning.
- Population
- Utbildningstillfälle e.uoh.mdu.dva468.10203.20262
- Senaste kontroll
- 2026-09-23T10:38:46.21657+00:00
- Begränsning
- GY11 och GY25 mappas inte av Antagningsdata. Grundläggande och särskilda villkor separeras inte utan strukturerat underlag.
Utbildningens innehåll
Studiernas upplägg
Ansökan och viktiga datum
- Utbildningen startar
- Utbildningen slutar
Lön och lönefördelning
Vanliga yrken efter utbildningen
Studenterna
Geografisk bakgrund
Tidigare gymnasieskolor och program
Genomströmning och utfall
Om anordnaren
Mälardalen University
Anordnare för det publicerade utbildningstillfället.
Källor och datakvalitet
Utbildningsfakta för valt tillfälle kommer från Skolverket Susa-navet.
Hämtad . Publicerad . Tider visas i svensk tid.
Källidentitet och publiceringsversion
- Publiceringsversion
- 8e217193-f5fa-4778-b085-a4521fd03e8d
- Utbildningsidentitet hos källan
- i.uoh.mdu.dva468.10203.20262
- Tillfällesidentitet hos källan
- e.uoh.mdu.dva468.10203.20262
- Utbildningsformens källkod
- HS
- Utbildningskod hos källan
- DVA468
- Ändringstid enligt källan
- 2026-02-19T13:10:40
Anordnare, utbildning och utbildningstillfälle är separata identiteter. Uppgifter om ansökan bör kontrolleras på den officiella webbplatsen. Kompletterande statistik har inte hämtats från denna källa.