INF5140 – Kravspesifikasjon og verifikasjon av parallelle systemer

Kort om emnet

Temporal logikk til spesifikasjon av invarians- og fremdriftsegenskaper til parallelle systemer. Deduktive teknikker for ? bevise at et parallelt system tilfredstiller en kravspesifikasjon i temporal logikk. Modellsjekking for automatisk verifikasjon av en temporallogisk spesifikasjon for slike systemer.

Hva l?rer du?

Gi innsikt i hvordan man kan spesifisere krav et parallelt system b?r tilfredsstille, og hvordan man kan bevise at et system tilfredstiller sin kravspesifikasjon.

Opptak og adgangsregulering

Studenter m? hvert semester s?ke og f? plass p? undervisningen og melde seg til eksamen i Studentweb.

Dersom du ikke allerede har studieplass ved UiO, kan du s?ke opptak til v?re studieprogrammer, eller s?ke om ? bli enkeltemnestudent.

Forkunnskaper

Anbefalte forkunnskaper

Emnet bygger p? INF3230 – Formell modellering og analyse av kommuniserende systemer (videref?rt) /INF220

Overlappende emner

Undervisning

3 t undervisning per uke (forelesning eller gruppe?velse). Det kreves gjennomf?ring av obligatoriske oppgaver. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 亚博娱乐官网_亚博pt手机客户端登录 under retningslinjer for obligatoriske oppgaver.

Eksamen

Muntlig eller skriftlig eksamen. Obligatoriske oppgaver m? v?re godkjent for ? kunne g? opp til eksamen.

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Studenter som dokumenterer gyldig frav?r fra ordin?r eksamen, kan ta utsatt eksamen i starten av neste semester.

Det tilbys ikke ny eksamen til studenter som har trukket seg under ordin?r eksamen, eller som ikke har best?tt.

Trekk fra eksamen

Det er mulig ? ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensfors?k.

Annet

Det er sterkt anbefalt ? m?te p? f?rste forelesning fordi det vil bli gitt viktig informasjon.

Fakta om emnet

Studiepoeng
10
Niv?
Master
Undervisning
V?r 2018
V?r 2017
V?r 2015
V?r 2013
V?r 2011
V?r 2009
V?r 2007
V?r 2006
V?r 2005

Emnet g?r annethvert v?rsemester.

Eksamen
V?r 2013

Hvert v?rsemester hvor det er undervisning

Undervisningsspr?k
Norsk (engelsk p? foresp?rsel)