Model Checking | |
Engelsk | |
7,5 | |
Kandidat Kurset udbydes som enkeltfag Retningsspecifikt kursus (MSc), Computer Science and Engineering Retningsspecifikt kursus (MSc), Mathematical Modelling and Computation Teknologisk specialisering (MSc), Computer Science and Engineering Teknologisk specialisering (MSc), Mathematical Modelling and Computation |
E4B (fre 8-12)
| |
Campus Lyngby | |
Forelæsninger, teoretiske øvelser og praktiske øvelser. | |
13-uger | |
E4B, Afhængigt af antallet af studerende kan der være behov for også at aftale andre dage. | |
Mundtlig eksamen og bedømmelse af rapport(er) | |
Alle hjælpemidler - med adgang til internettet | |
7-trins skala , ekstern censur | |
02141 , De studerende forventes at kende til endelige automater og/eller transitionssystemer; denne baggrund kan fås i kursus 02141. De studerende forventes at have basal viden om logik og sandsynlighedsteori. De studerende skal kunne udtrykke sig i et programmeringssprog. |
Alberto Lluch Lafuente , Lyngby Campus, Bygning 321, Tlf.
(+45) 4525 3736 , albl@dtu.dk | |
Andrey Rivkin , Lyngby Campus, Bygning 321 ,
ariv@dtu.dk | |
01 Institut for Matematik og Computer Science | |
https://courses.compute.dtu.dk/02246 | |
I
studieplanlæggeren |