Informace ke kurzu "Modelování a verifikace"
(ZS 2023/24)
Kurz vede: prof. Petr Jančar (5.040),
pj.jancar@gmail.com ,
Acknowledgement.
The course is based on the book
Reactive Systems: Modelling, Specification and Verification
by Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen,
Jiří Srba,
Cambridge University Press, August 2007.
Petr Jančar gratefully acknowledges the help of materials provided
by the authors of the book at the web-page
rsbook.cs.aau.dk,
including the latex-sources of the slides provided by J. Srba;
the slides (with slight modifications and/or extensions) are also used
in our course, as well as the suggested tutorials.
Aktuální informace:
-
15.9.2023. Osnova předmětu je popsána ve STAGu.
Níže je uveden předběžný rámcový plán kurzu, podle dřívějšího běhu.
Plán kurzu:
-
1. týden Přednáška 1
-
2. týden Přednáška 2
-
3. týden Přednáška 3
-
4. týden Přednáška 4
-
5. týden Přednáška 5
-
6. týden Přednáška 6
-
7. týden Přednáška 7
-
8. týden: Na přednášce a cvičení dokončíme probrání podkladů k
předchozím týdnům (nejsou tedy teď nové slidy ani příklady).
-
9. týden (15.11.2023): budeme řešit
první miniprojekt (Alternating Bit Protocol).
Doneste si notebooky s připojením na Internet (kvůli nástroji CAAL).
Můžete řešit ve dvojicích.
Jedná se o zadání ze základní knihy ke kursu na str. 261-2.
-
10. týden Přednáška 8
-
11. týden Přednáška 9
-
12. týden (6.12.2023): budeme řešit
druhý miniprojekt (Gossiping Girls).
Doneste si notebooky s nainstalovaným nástrojem
Uppaal (http://www.uppaal.org/).
Můžete řešit ve dvojicích.
Jedná se o zadání ze základní knihy ke kursu na str. 262-3.
-
13. týden (13.12.2023): dokončíme a zopakujeme probíranou
látku, budeme diskutovat zkoušku.
Zápočet:
Student zašle vyučujícímu svůj vlastní popis řešení dvou miniprojektů,
jehož dostatečnost bude podle potřeby diskutována.
Zkouška:
Průběh je zachycen zde:
zk-prubeh.pdf
Konzultace:
Konzultace je nejlépe domluvit osobně po
výuce, či emailem (pj.jancar@gmail.com).