Sémantika programů - NSWI162
|
|
|
||
Poslední úprava: Tajemník Katedry (03.05.2017)
|
|
||
Poslední úprava: doc. RNDr. Jan Kofroň, Ph.D. (06.10.2017)
Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu. Z povahy věci tedy není možné zápočet opakovat. |
|
||
Poslední úprava: Tajemník Katedry (03.05.2017)
A. R. Bradley, Z. Manna: The Calculus of Computation, Springer-Verlag, 2007 E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999 |
|
||
Poslední úprava: doc. RNDr. Jan Kofroň, Ph.D. (03.10.2017)
Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu. |
|
||
Poslední úprava: Tajemník Katedry (03.05.2017)
1) Představení pojmu sémantiky programů 2) Metody specifikace vlastností imperativních programů 3) Matematické základy specifikace 4) Dokazování vlastností programů |