Formella metoder i mjukvaruutveckling

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

Kursens syfte är att lära ut kunskap, teknik och omdöme angående viktiga tekniker inom formella metoder: modellkontroll (model checking) och deduktiv verifikation. Båda stilarna introduceras på tre sätt: konceptuellt, teoretisk och praktiskt, genom användning av ett specifikt verktyg. Kursen bygger på kunskap om första ordningens logik och temporallogik, och visar hur dessa formalismer kan appliceras, och utökas för verifikation av mjukvara. För modellkontroll täcker kursen följande ämnen: \- ett specifikationsspråk för parallella processer, \- verifiering av påståenden, \- synkronisering, \- verifikation av säkerhets- och livenessegenskaper som är skrivna i temporal logik. För deduktiv verifikation täcker kursen följande ämnen: \- ett specifikationsspråk på enhetsnivå för Java-program, \- en logik för verifikation av Java-program, \- verifikation av Java-program, i meningen att implementationen av en enhet uppfyller dess specifikationen.

Behörighet

Godkända kurser om 120 hp i ämnet Datavetenskap, eller motsvarande, särskilt DIT201 Logic in Computer Science, 7,5 hp, och en 7,5 hp kurs i objektorienterad programmering (eller motsvarande) är ett krav. Följande kunskapsnivå i Engelska krävs: Engelska 6/Engelska nivå 2 eller motsvarande från ett erkänt internationellt test, t.ex. TOEFL, IELTS.

Praktiskt

Start

31 augusti 2026

Slut

1 november 2026

Språk

Engelska

Studietakt

50 %

Studieform

På plats i Göteborg

Studieavgift

18 125 kr (gäller bara sökande utanför EU/EES)

Anmälningskod

GU-86013

Vanliga frågor

Vad krävs för att komma in på Formella metoder i mjukvaruutveckling vid Göteborgs 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 50 %.

Går den på distans?

Nej, den ges på plats i Göteborg.

Vad betyder BI och HP?

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

Överblick

• Alla program och kurser vid Göteborgs universitet
• Alla kurser i Informatik/Data- och systemvetenskap