| Kursusnavn (dansk): | Verifikationsværktøjer |
| Kursusnavn (engelsk): | Verifikationsværktøjer |
| Semester: | Efterår 1999 |
| Udbydes under: | cand. it, softwareudvikling (swu) |
| Omfang i ECTS: | 0,00 |
| Kursussprog: | Dansk |
| Kursushjemmeside: | https://learnit.itu.dk |
| Min. antal deltagere: | 10 |
| Forventet antal deltagere: | 0 |
| Maks. antal deltagere: | 0 |
| Formelle forudsætninger: | "Effektive algoritmer og programmer" på ITU eller tilsvarende. Et kursus i parallelle systemer er en fordel, men ingen forudsætning. Kurset er for ph.d.-studerende, men kandidat- og masterstuderende kan også følge kurset. Hvis der er udenlandske deltagere, afholdes kurset på engelsk, ellers på dansk. |
| Læringsmål: | Kursets mål er at gennemgå en række verifikationsteknikker og verifikationsværktøjer således, at du efter kurset kan anvende værktøjerne til formel verifikation af realistiske hardware- og software-beskrivelser |
| Fagligt indhold: | Du skal indgående forstå verifikationsteknikkerne og værktøjernes virkemåde og opbygning samt deres potentielle anvendelsesmuligheder og begrænsninger |
| Læringsaktiviteter: | Forelæsninger og en række obligatoriske opgaver |
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Intern censur 4 timers skriftlig eksamen. Indskrivning til eksamen kræver aflevering af de obligatoriske opgaver
|
| Litteratur udover forskningsartikler: | |
| | |
Kursusoversigt