Formella metoder i mjukvaruutveckling - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Formella metoder i mjukvaruutveckling

Avancerad nivå | 7.5 hp | Kurskod: DIT271
HT 2019
50% Dag
Göteborg
Period: 2 september 2019 - 1 november 2019
UNDERVISNINGSSPRÅK: Engelska
Stängd GU-18662

Om kursen

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ör mer information

https://gul.gu.se/public/cou...

Visa mer

Kursplan

DIT271

Behörighet och urval

Förkunskapskrav: 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. Dessutom krävs språkkunskaper motsvarande Engelska 6/Engelska B.

Urval: Högskolepoäng, max 225 hp

Studievägledning

E-post: svl@cse.gu.se

Kursen ges vid

Institutionen för data- och informationsteknik
41296 Göteborg

Besöksadress: Rännvägen 6 B

Sidansvarig: Pontus Sundén
Sidan uppdaterades: 2018-06-15 12:12

Tipsa en vän
Sidan i utskriftsvänlig version

Sidansvarig: Pontus Sundén|Sidan uppdaterades: 2019-01-10
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?