Modelling and verification

English version of this subpage is under construction

Study literature

13.2.2025

Kniha Reactive Systems: Modelling, Specification and Verification, autoři Luca Aceto, Anna Ingólfsdóttir, Kim Larsen, Jiří Srba - 1. část

Lectures - slides

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ý)

Exercises

Other