FI:DPOSO Advances in Concurrency

DPOSO Advances in Concurrency

Faculty of Informatics
Spring 2009

Extent and Intensity: 3/0. 3 credit(s). Type of Completion: z (credit).
Teacher(s): prof. RNDr. Luboš Brim, CSc. (lecturer)
prof. RNDr. Ivana Černá, CSc. (lecturer)
prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Ing. Dana Komárková (lecturer)
Guaranteed by: prof. RNDr. Antonín Kučera, Ph.D.
Faculty of Informatics
Course Enrolment Limitations: The course is only offered to the students of the study fields the course is directly associated with.
fields of study / plans the course is directly associated with: there are 6 fields of study the course is directly associated with, display
Course objectives (in Czech): Předmět pokrývá současné směry výzkumu v oblasti souběžných, paralelních a distribuovaných systémů. Cílem je referovat o nejnovějších výsledcích v oblasti, diskutovat o možných směrech výzkumu a rovněž poskytnout studentům prostor pro prezentaci vlastních výsledků. Obsahem předmětu jsou algoritmy a nástroje pro praktickou verifikaci počítačových systémů, verifikace systémů založených na komponentách, redukce stavových prostorů, verifikace nekonečně-stavových systémů, paralelní verifikace konečně-stavových systémů, analýza nefunkčních požadavků, I/O efektivní algoritmy pro verifikaci.
Assessment methods (in Czech): Povinně volitelný předmět, ohodnocený 3 kredity, předmět lze opakovaně zapisovat.
Language of instruction: Czech