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
25.9.2014
Kniha
Reactive Systems: Modelling, Specification and Verification
, autoři Luca Aceto, Anna Ingólfsdóttir, Kim Larsen, Jiří Srba - 1. část
Lectures - slides
25.9.2014
1. přednáška
25.9.2014
2. přednáška
25.9.2014
3. přednáška
25.9.2014
4. přednáška
25.9.2014
5. přednáška
25.9.2014
6. přednáška
25.9.2014
7. přednáška
25.9.2014
8. přednáška
Exercises
25.9.2014
Příklady na 1. cvičení
25.9.2014
Příklady na 2. cvičení
25.9.2014
Příklady na 3. cvičení
25.9.2014
Příklady na 4. cvičení
25.9.2014
Příklady na 5. cvičení
25.9.2014
Příklady na 6. cvičení
25.9.2014
Příklady na 7. cvičení
25.9.2014
Příklady na 8. cvičení
16.10.2014
Concurrency Workbench homepage
16.10.2014
Concurrency Workbench manual
16.10.2014
Concurrency Workbench precompiled (linux)
16.10.2014
Concurrency Workbench pro Windows
16.10.2014
Concurrency Workbench - český návod pro instalaci s odkazy
27.11.2014
Zadání 1. projektu - Crossing the River
27.11.2014
Flash aplikace pro vyzkoušení Crossing the River
11.12.2014
Kurz zaměřený na spin s odkazy na slidy a příklady
11.12.2014
Dining philosophers
11.12.2014
Spin na webu
11.12.2014
jSpin
22.03.2016
iSpin - Getting started
22.03.2016
Spin - download
22.03.2016
Spin - README
22.03.2016
Promela - language reference
22.03.2016
Spin - Building and veryfying models
22.03.2016
Basic Spin Manual
22.03.2016
Concise Promela Reference
22.03.2016
Šablona projektu
29.03.2016
Upravená šablona projektu
30.03.2016
TGZ se Spin a iSpin pro školní počítače s Ubuntu
Other
25.9.2014
Informace o průběhu zkoušky