|
|
|
||
Last update: Tajemník Katedry (22.04.2013)
|
|
||
Last update: 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 |
|
||
Last update: doc. RNDr. Pavel Parízek, Ph.D. (07.05.2024)
Model checking of programs Detecting concurrency errors Symbolic execution Dynamic analysis Introduction to deductive methods
Bounded model checking Predicate abstraction and CEGAR Selected applications of deductive methods in software verification
Static analysis and its usage in program verification Abstract interpretation Combination of verification techniques Program termination Program synthesis |