Software Verifikation (Q4) ( forår 2008 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q4 i 2007/2008
-
Timer per uge:
3
-
Deltagerbegrænsning:
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
7986
Formål
Deltagerne vil efter kurset have indsigt i moderne teknikker og værktøjer til programanalyse og -verifikation med henblik på at afsløre fejl i software. Kursets arbejdsform vil også træne deltagernes evne til at formidle og kommunikere faglige problemstillinger, og til at læse og forstå videnskabelige artikler.
Obligatorisk program
Gruppepræsentationer samt mindst 50% i gruppeprojektet.
Indhold
Vi skal studere konkrete værktøjer og teknikker til software verifikation ved at læse og diskutere forskningsartikler, samt udføre praktiske eksperimenter med værktøjerne.
Læringsmål
Deltagerne skal ved afslutningen af kurset kunne:
-
beskrive
de basale ideer bag en række moderne værktøjer og teknikker indenfor emnet software verifikation.
-
anvende
sådanne værktøjer til at finde fejl i mindre programmer.
-
evaluere
værktøjerne i forhold til udtrykskraft, anvendelsesområde, automatisering, effektivitet, sundhed og fuldstændighed.
Faglige forudsætninger
Compilation (dOvs), Computability and Logic (dBerLog), og enten Static Analysis eller Foundations of Software Verification
Underviser
Anders Møller
Undervisnings- og arbejdsform
Forelæsninger (2+1t/uge)
Litteratur
Forskningsartikler
Kursushjemmeside
http://www.daimi.au.dk/SV/
Udbyder
Datalogisk Institut
Tilmelding til undervisning
http://www.brics.dk/~mis/enrollment.html
Studieordning og bedømmelse
-
Mundtlig, bedømt efter 7-skala med intern censur
Projekt og mundtlig eksamen
7-skala, intern censur
