Formella metoder i mjukvaruutveckling
Göteborgs universitetFormella metoder i mjukvaruutveckling
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.
Förkunskaper
Göteborgs universitet
Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och 6 000 medarbetare gör universitetet till en stor och inspirerande arbetsplats, flödande av kunskap och idéer. Öppenheten är ett signum som genomsyrar verksamheten. Universitetet tar plats i debatten...
Hitta till utbildaren
Göteborgs universitet
Det finns inga recensioner för Formella metoder i mjukvaruutveckling
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.