|
|
|
||
Poslední úprava: Tajemník Katedry (22.04.2013)
|
|
||
Poslední úprava: T_KSI (23.02.2009)
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking, MIT Press, 2000 F. Nielson, H. R. Nielson, and Chris Hankin. Principles of Program Analysis, Springer, 2005 D. Kroening and O. Strichman. Decision Procedures: An Algorithmic Point of View, Springer, 2008 |
|
||
Poslední úprava: doc. RNDr. Pavel Parízek, Ph.D. (07.05.2024)
Model checking programů Hledání chyb ve vícevláknových programech Symbolické vykonávání Dynamická analýza Úvod do deduktivních metod
Omezený model checking Predikátová abstrakce a CEGAR Vybrané aplikace deduktivních metod ve verifikaci software
Statická analýza kódu a její použití ve verifikaci programů Abstraktní interpretace Kombinace technik verifikace Terminace programů Syntéza programů |