Kvalitetssäkring - Upptäcka fel genom formell verifiering
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.
Tillfällen för denna kurs
Hösttermin 2025
-
Omfattning
7.5 hp
Tid
2025-09-15 - 2026-01-18 (deltid 25%)
Utbildningsnivå
Avancerad nivå
Kurstyp
Fristående kurs
Anmälningskod
MDU-24539
Språk
Engelska
Studieort
Ortsoberoende
Undervisningsform
Distans
Antal obligatoriska träffar inklusive tentamen: 0
Antal övriga fysiska träffar: 0Kursplan & litteratur
Se kursplan och litteraturlistor (DVA468)Särskild behörighet
120 hp, varav 80 hp inom teknik eller informatik, inklusive minst 30 hp programmering eller mjukvaruutveckling. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från Svenska B/Svenska 3.
Urval
Antal högskolepoäng
Frågor kring utbildningen?
Hör av dig till kursansvarig om du har frågor kring kursens innehåll.