Předmět Seminar on Concurrency (IA072)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IA072 - Seminar on Concurrency, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
At the end of the course students should be able to:understand a theoretical scientific text;make a presentation that explains main ideas of such a text;apply information on current topics (and results) of concurrency and formal verification research areas in an eventual original research;
Osnova
Presentations of (preferably original) results from the following areas:Process algebras and their specifications.Infinite state systems and their hierachies.Semantic equivalences and preorders.Decidability and complexity of verification problems.Analysis, validation, and verification of software.
Literatura
Handbook of process algebra. Edited by J. A. Bergstra - A. Ponse - S. A. Smolka. Amsterdam: Elsevier, 2001. xiv, 1342. ISBN 0-444-82830-3. infoJournal and conference papers specified by a person in charge of running seminar.
Požadavky
SOUHLASfor postgraduate students; undergraduate students may ask for an exception, especially if they successfully passed IA040 Modální a temporální logiky procesů and IA041 Teorie a specifikace procesů and want to work in the area of concurrent processes, formal verification, or program analysis.
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
prof. RNDr. Mojmír Křetínský, CSc.doc. RNDr. Jan Strejček, Ph.D.