Kvalitetssäkring - Upptäcka fel genom formell verifiering

Antagningspoäng hösten 2026

Eget urval. Den här utbildningen antar inte på meritvärde eller högskoleprov, så det finns ingen poänggräns.

Lägsta antagna i senaste antagningen (hösten 2026) enligt UHR. Ingen garanti för nästa antagning.

Om utbildningen

Kursen ger en introduktion till metoder och verktyg för system- och programverifiering. Metoderna använder systemmodeller med precis formell semantik och omfattar såväl modellkontroll som deduktiv verifiering. Det här är en kurs på avancerad nivå för dig som har tidigare högskolepoäng och är yrkesverksam. Den är utvecklad för att passa dig som arbetar och vill kunna kombinera studier och arbete.

Behörighet

120 hp, varav 80 hp inom teknik eller informatik, inklusive minst 30 hp programmering eller mjukvaruutveckling. Dessutom krävs Svenska 3 eller Svenska nivå 3 samt Engelska 6 eller Engelska nivå 2. I de fall kursen ges på engelska görs undantag från kravet på Svenska 3 eller Svenska nivå 3.

Praktiskt

Start

14 september 2026

Slut

17 januari 2027

Språk

Engelska

Studietakt

25 %

Studieform

Distans utan obligatoriska träffar

Studieavgift

16 875 kr (gäller bara sökande utanför EU/EES)

Anmälningskod

MDU-10203

Vanliga frågor

Vad krävs för att komma in på Kvalitetssäkring - Upptäcka fel genom formell verifiering vid Mälardalens universitet?

Utbildningen har ingen poänggräns (eget urval) – den antar inte på meritvärde eller högskoleprov. Du måste också uppfylla behörighetskraven.

Hur lång är utbildningen?

7,5 hp, studietakt 25 %.

Går den på distans?

Ja, utbildningen ges på distans.

Vad betyder BI och HP?

BI är betyg utan komplettering och HP är högskoleprovet. Läs guiden.

Överblick

• Alla program och kurser vid Mälardalens universitet
• Alla kurser i Informatik/Data- och systemvetenskap