..:: Martin Kot ::..
Modelování a verifikace - šk. rok 2014/15
Obecné Aktuálně Ke stažení
 
Studijní literatura
25.9.2014 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
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
 
Příklady na cvičení
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
 
Ostatní
25.9.2014 Informace o průběhu zkoušky