Kvalitetssäkring - Upptäcka fel genom formell verifiering
Universitet/högskola · Kurs · Avancerad nivåMälardalens universitet
Annons
Annonsplats – inget annonsnätverk kopplat ännu.
Fakta
- Ämnesområde
- Data och IT
- Nivå
- Avancerad nivå
- Omfattning
- 7.5 högskolepoäng
- Längd
- 5 veckor
- Studietakt
- 25 %
- Studieort
- Distans
- Start
- 2026-09-14
- Slut
- 2027-01-17
- Examen
- Uppgift saknas
- CSN-berättigad
- Uppgift saknas
- Avgift
- 16 875 SEK
Ansökan
Ansökan stängde 2026-04-15
Till ansökan hos Mälardalens universitet ↗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.
Rekommenderade förkunskaper: uh
Alla tillfällen (1)
| Ort | Start | Studietakt | Ansökan |
|---|---|---|---|
| Distans | 2026-09-14 | 25 % | Ansökan stängde 2026-04-15 |
Liknande utbildningar
- Kvalitetssäkring i systemutvecklingUniversitet/högskola
- Formella metoder i mjukvaruutvecklingUniversitet/högskola
- Mjukvarukvalitetsäkring och testningUniversitet/högskola
- Testning, felsökning & verifieringUniversitet/högskola
Är du anordnare? Lyft utbildningen överst i relevanta sökningar.
Källa: Skolverkets Susa-nav · Uppdaterad i källan 2026-02-19 · Hämtad 2026-07-14. Uppgifter som saknas i källan visas som ”Uppgift saknas”.