IA072 Seminar on Verification

Fakulta informatiky
jaro 2020
Rozsah
0/2/0. 2 kr. (plus ukončení). Ukončení: z.
Vyučující
prof. RNDr. Jan Strejček, Ph.D. (přednášející)
RNDr. Marek Chalupa, Ph.D. (pomocník)
Garance
prof. RNDr. Jan Strejček, Ph.D.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Jan Strejček, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky
Rozvrh
Pá 10:00–11:50 B411
Předpoklady
SOUHLAS
for 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.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 15 stud.
Momentální stav registrace a zápisu: zapsáno: 0/15, pouze zareg.: 0/15, pouze zareg. s předností (mateřské obory): 0/15
Mateřské obory/plány
předmět má 52 mateřských oborů, zobrazit
Cíle předmětu
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;
Výstupy z učení
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 - Scott A. Smolka. Amsterdam: Elsevier, 2001, xiv, 1342. ISBN 0444828303. info
  • Journal and conference papers specified by a person in charge of running seminar.
Výukové metody
seminar; every participant is expected to give a talk on a journal/conference paper (these will be specified by a person in charge of running seminar); presentations of new original results are preferred.
Metody hodnocení
presentations, attendance at seminars
Vyučovací jazyk
Angličtina
Informace učitele
Seminar programme can be found at interactive syllabus web pages. Repeated enrollment for the seminar is possible in case of excellent results.
Další komentáře
Studijní materiály
Předmět je vyučován každý semestr.
Předmět je zařazen také v obdobích podzim 2002, jaro 2003, podzim 2003, jaro 2004, podzim 2004, jaro 2005, podzim 2005, jaro 2006, podzim 2006, jaro 2007, podzim 2007, jaro 2008, podzim 2008, jaro 2009, podzim 2009, jaro 2010, podzim 2010, jaro 2011, podzim 2011, jaro 2012, podzim 2012, jaro 2013, podzim 2013, jaro 2014, podzim 2014, jaro 2015, podzim 2015, jaro 2016, podzim 2016, jaro 2017, podzim 2017, jaro 2018, podzim 2018, jaro 2019, podzim 2019, podzim 2020, jaro 2021, podzim 2021, jaro 2022, podzim 2022, jaro 2023, podzim 2023, jaro 2024, podzim 2024, jaro 2025.