Logga in

Registrera

TDDE34 · Linköpings universitet

Mjukvaruverifiering

Ny kurs

Kom igång gratis

Inga tentor än

Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial

Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg

Kurs info

KurssidaKursplan
HP
6
Språk
Svenska
Nivå
Avancerad nivå
Fakultet
Tekniska fakulteten
Institution
Institutionen för datavetenskap

Lärandemål

Kursen är en introduktion till både teorin och utövandet av mjukvaruverifiering. Efter avslutad kurs ska studenten kunna:

  • Demonstrera kännedom om de principer som ligger bakom olika mjukvaruverifieringsmetoder som Hoare logik, satisfierbarhet modulo teori (smt) och abstrakt tolkning.
  • Tillämpa existerande tekniker för att analysera och verifiera mjukvaran.
  • Beskriva fördelar, begränsningar och forskningsutmaningar av mjukvaruverifiering
Kursinnehåll
  • Transitionsystem
  • Operationell och axiomatisk semantik
  • Hoare logik
  • Satisfierbarhet modulo teori (SMT)
  • Invariant generering
  • Abstrakt tolkning
Förutsättningar
  • Programmering, diskret matematik, logik (hel kurs i logik eller prepositonslogik, booelsk algebra och besvimetoder ut tex ”Diskreta strukturer”)
Litteratur
The Calculus of Computation. Decision Procedures with Applications to Verification - Bradley, Aaron R., Manna, Zohar
Artiklar samt valda kapitel från ”The Calculus of Computation: Decision Procedures with Applications to Verification”. Aaron R. Bradley and Zohar Manna. Springer
Redo att boosta dina studier?

Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.

Kom igång gratis

Produkt

  • Priser

  • Karriär

Företag

  • Om oss

  • Blogg

  • Användarvillkor

  • Integritet

  • Support

Universitet

  • KTH

  • Uppsala universitet

  • Linköpings universitet

  • Chalmers

  • Lunds universitet

  • Luleå tekniska universitet

  • Stockholms universitet

  • Gymnasiet

Socialt

  • Instagram

  • Facebook

  • YouTube

  • TikTok

  • Linkedin

© 2026 Crash Course Sverige AB