AU kursuskatalog arkiv

Software Verifikation (Q4) Aflyst ( forår 2009 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: engelsk (eller dansk)
• Niveau: Kandidatkursus
• Semester/kvarter: Q4
• Timer per uge: 3
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Det Naturvidenskabelige Fakultet
• Udbud ID: 13839

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/

Eksamensterminer

Juni/juli, reeksamen august

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://www.brics.dk/~mis/enrollment.html

Bedømmelse

Projekt og mundtlig eksamen
7-skala, intern censur