..:: Martin Kot ::..
Modelování a verifikace - šk. rok 2024/25
Obecné Aktuálně Ke stažení
 
Studijní literatura
13.2.2025 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
20.2.2025 1. přednáška
27.2.2025 2. přednáška
27.2.2025 2. přednáška (verze, kde se každý slide objeví hned celý)
13.2.2025 3. přednáška
13.2.2025 3. přednáška (verze, kde se každý slide objeví hned celý)
13.2.2025 4. přednáška
13.2.2025 4. přednáška (verze, kde se každý slide objeví hned celý)
13.2.2025 5. přednáška
13.2.2025 5. přednáška (verze, kde se každý slide objeví hned celý)
13.2.2025 6. přednáška
13.2.2025 6. přednáška (verze, kde se každý slide objeví hned celý)
13.2.2025 7. přednáška
13.2.2025 7. přednáška (verze, kde se každý slide objeví hned celý)
13.2.2025 8. přednáška
13.2.2025 8. přednáška (verze, kde se každý slide objeví hned celý)
 
Příklady na cvičení
13.2.2025 Příklady na 1. cvičení
13.2.2025 Příklady na 2. cvičení
13.2.2025 Příklady na 3. cvičení
13.2.2025 Příklady na 4. cvičení
13.2.2025 Příklady na 5. cvičení
13.2.2025 Příklady na 6. cvičení
13.2.2025 Příklady na 7. cvičení
13.2.2025 Příklady na 8. cvičení
 
Ostatní
13.2.2025 Informace o průběhu zkoušky
13.2.2025 Nástroj CAAL
10.4.2025 Zadání 1. projektu
13.2.2025 Nástroj Uppaal
14.5.2025 Zadání 2. projektu