Formella metoder
Dagens programvarusystem innehåller vanligtvis felaktigheter och är opålitliga och osäkra. Formella metoder är ett forskningsområde som använder metoder med solid matematisk grund för att modellera, konstruera och kontrollera om ett programva/hårdvarusystem är tillförlitligt och/eller säkert. I kursen behandlas vanliga metoder för att kontrollera tillförlitlighet och säkerhet av programvarusystem. Studenterna kommer att använda programmeringsspråk med verifierare och verktyg för att utveckla tillförlitliga och säkra program. De kan också kontrollera korrektheten av enkla system, till exempel protokoll, med avancerade tekniker för att säkerställa att designen är korrekt och tillförlitlig.
Förkunskaper
Linnéuniversitetet Facebook
Linnéuniversitetet
Ett modernt, internationellt universitet i Småland
Linnéuniversitetet är ett modernt, internationellt universitet där allt är möjligt. Linnéuniversitetet finns i Växjö och Kalmar och vi erbjuder över 150 utbildningsprogram och 1 300 fristående kurser inom en rad olika områden. Att studera är mer än att bara utbilda...
Gör en intresseanmälan
Hitta till utbildaren
Linnéuniversitetet
Recensioner
Det finns inga recensioner för Formella metoder
Gör en intresseanmälan
För att få mer information om utbildningen Formella metoder från Linnéuniversitetet , fyll i dina uppgifter:
Jobb & Lön
Var finns framtidens jobb & hur mycket kommer jag att tjäna?
Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.
