8 EIN. / ECTS

Study of mathematical models for the formal description and analysis of programs. Study of formal languages for the speci_cation of program behaviour. Particular focus on parallel and reactive systems. Verification tools and implementation techniques underlying them.

Undanfarar
T-301-REIR, Reiknirit.

Hæfniviðmið
Present a general theory of reactive systems and its applications. The theory supports: Design. Speci_cation. Veri_cation (possibly automatic and compositional). Aims 1 Give the students practice in modelling parallel systems in a formal framework. 2 Give the students skills in analyzing behaviours of reactive systems. 3 Introduce algorithms and tools based on the modelling formalisms.

Námsmat
Modelling of a solitaire game in CWB/CWB-NC. Analysis of mutual exclusion algorithms using UPPAAL. Each counts for 30% of the final mark. The oral exams counts for 40% of the final mark.

Kennsluaðferðir
Lectures, exercise sessions and project work will all take place during four 45-minute sessions each week for 12 weeks.

Lesefni
Mechanical Engineering Design (International edition (SI-edition)). Höfundur: J.E Shigley, C.R. Mischke og R.G. Budynas. Útgáfa 7. Útgefandi: McGraw - Hill, 2004.


Kennari
Luca Aceto

Dagsetningar
Starts January 9th.
Mondays 10:20 - 11:55, room M121, 1st. floot. Wednesdays 10:20 - 11:55, room M112.

Tungumál
Enska

SKRÁNING HÉR

Forföll og innheimta

FagMennt áskilur sér rétt til þess að rukka 10.000 króna skráningar og umsýslugjald ef þátttakandi skráir sig úr námskeiði innan viku áður en námskeið hefst. Nauðsynlegt er að skrá sig úr námskeiði a.m.k. 2 dögum fyrir námskeið. Að öðrum kosti áskilur FagMennt sér rétt til þess innheimta fullt námskeiðsgjald.
Sjá greiðsluskilmála

Nánari upplýsingar

Bryndís Bjarnadóttir
Verkefnastjóri hjá Opna háskólanum
bryndisb@hr.is
Sími 599 6387