Visa allastudier.se som: Mobil

Formella metoder

Linnéuniversitetet
Sammanfattning
Fristående kurser (avancerad nivå)
Växjö
5 hp
Deltid
Klassrum
Startdatum: Höst 2021 - Växjö

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

4DV650 Modellering och simulering av system, 5 hp

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...


Läs mer om Linnéuniversitetet och visa alla utbildningar

Gör en intresseanmälan

Få svar på dina frågor om Formella metoder
Kom i kontakt med skolan
Inga kostnader eller förbindelser

Hitta till utbildaren

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.

Till Jobb & Lön

Du kanske också är intresserad av: