• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF5140

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 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 /INF220

Overlapping

5 studiepoeng overlapp mot IN315.

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 samarbeid under retningslinjer for obligatoriske oppgaver.

Vurdering og eksamen

Muntlig eller skriftlig eksamen. Obligatoriske oppgaver må være godkjent for å kunne gå opp til eksamen. Generelle opplysninger om eksamen.

Sensur

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

Adgang til utsatt eller ny eksamen/vurdering

Dette emnet tilbyr ikke ny eksamen i begynnelsen av påfølgende semester til kandidater som stryker eller trekker seg under ordinær eksamen. For generelle opplysninger om ny og utsatt eksamen, se http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html

Trekk fra eksamen og antall eksamensforsøk

En student kan fremstille seg til eksamen i dette emnet inntil tre ganger. Studenten anses å ha fremstilt seg til eksamen dersom hun/han ikke har trukket eksamensmeldingen sin i StudentWeb innen en gitt frist.

Annet

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

Kontakt oss