..:: Martin Kot ::..
Modelování a verifikace - šk. rok 2022/23
Obecné Aktuálně Ke stažení
 
Studijní literatura
24.2.2023 Kniha Reactive Systems: Modelling, Specification and Verification, autoři Luca Aceto, Anna Ingólfsdóttir, Kim Larsen, Jiří Srba - 1. část
 
Přednášky - slidy
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ý)
 
Příklady na cvičení
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
 
Ostatní
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