Personal
About me
Portrait
Master study
General
Papers
Projects
Diploma thesis
PhD. study
General
Various texts
Publications
Courses
Discrete mathematics
2003/2004
2004/2005
Introduction to theoretical CS
2003/2004
2005/2006
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
Theoretical Computer Science
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
2015/2016
Introduction to programming
Modelling and Verification
2011/2012
2014/2015
2022/2023
Constraint processing
2012/2013
2013/2014
2015/2016
Modelling and verification
General
Actual
Download
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