..:: Martin Kot ::..
Modelling and verification
General Actual Download
 

English version of this subpage is under construction

Study literature
24.2.2023 Kniha Reactive Systems: Modelling, Specification and Verification, autoři Luca Aceto, Anna Ingólfsdóttir, Kim Larsen, Jiří Srba - 1. část
 
Lectures - slides
24.2.2023 1. přednáška
24.2.2023 2. přednáška
24.2.2023 2. přednáška (verze, kde se každý slide objeví hned celý)
13.3.2023 3. přednáška
13.3.2023 3. přednáška (verze, kde se každý slide objeví hned celý)
20.3.2023 4. přednáška
20.3.2023 4. přednáška (verze, kde se každý slide objeví hned celý)
20.3.2023 5. přednáška
20.3.2023 5. přednáška (verze, kde se každý slide objeví hned celý)
11.4.2023 6. přednáška
24.4.2023 6. přednáška (verze, kde se každý slide objeví hned celý)
24.4.2023 7. přednáška
24.4.2023 7. přednáška (verze, kde se každý slide objeví hned celý)
24.4.2023 8. přednáška
24.4.2023 8. přednáška (verze, kde se každý slide objeví hned celý)
 
Exercises
24.2.2023 Příklady na 1. cvičení
24.2.2023 Příklady na 2. cvičení
24.2.2023 Příklady na 3. cvičení
24.2.2023 Příklady na 4. cvičení
24.2.2023 Příklady na 5. cvičení
24.2.2023 Příklady na 6. cvičení
24.2.2023 Příklady na 7. cvičení
24.2.2023 Příklady na 8. cvičení
24.4.2023 Příklad vstupního souboru pro Caal - protokol ze slidu
17.5.2023 Příklad vstupního .xml souboru pro Uppaal - Worker, Nail, Hammer s 5 hřebíky
17.5.2023 Příklad vstupního .q souboru pro Uppaal - Worker, Nail, Hammer s 5 hřebíky
 
Other
24.2.2023 Informace o průběhu zkoušky
24.4.2023 Nástroj CAAL
24.4.2023 Zadání 1. projektu
17.5.2023 Nástroj Uppaal
17.5.2023 Zadání 2. projektu