| Type: | basiskursus, udbydes under åben uddannelse
Sprog: engelsk |
|
|
Tidligere kursus: C4363
|
|
Pointspærring: C4363
|
|
|
|
Faglige forudsætninger: 49270
|
|
Ønskelige forudsætninger: 49280.49285.49363
|
|
Vejledende placering: Sidst i studiet.
|
|
Undervisningsform: Forelæsninger. Opgavegennemgang. 6 obligatoriske afleveringsopgaver.
|
|
Evalueringsform Bedømmelse af skriftlig eksamen forudsætter godkendelse af obligatoriske opgaver. Skriftlig eksamen
|
|
Karakter: 13-skala
|
|
|
|
|
| Kontaktperson: | Jørgen Staunstrup, bygn. 344 |
|
|
Kursets netadresse: http://www.it.dtu.dk/c49374
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At indføre i opbygning og brug af værktøjer til formel verifikation af materiel og programmel. Kurset sætter deltagerne i stand til at anvende sådanne værktøjer og forstå deres opbygning.
|
|
Kursusindhold: Præsentation af nogle få praktisk anvendelige værktøjer til formel verifikation af programmel og materiel beskrivelser. Opbygningen af disse værktøjer gennemgås, så deltagerne forstår deres muligheder og begrænsninger. Der lægges vægt på at træne deltagerne i praktisk brug af mindst et værktøj herunder anvendelse af dette til at modellere og verificere realistiske eksempler. De obligatoriske opgaver omfatter både brug af værktøjer samt mindre modifikationer af disse (for at give indsigt i deres opbygning).
|
