| Tidligere kursus: C4363 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4363 |
| Faglige forudsætninger: 49270 |
| Ønskelige forudsætninger: 49280.49285.49363 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger. Opgavegennemgang. 6 obligatoriske afleveringsopgaver. |
| Evalueringsform:
Bedømmelse af skriftlig eksamen forudsætter godkendelse af obligatoriske opgaver. Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Henrik R. Andersen, IT, bygn. 343, tlf. 4525 3761 |
|
| 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 øvelser omfatter både brug af værktøjer samt mindre modifikationer af disse (for at give indsigt i deres opbygning). |
