Předmět Analýza programů a verifikace kódu (NSWI132)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NSWI132 - Analýza programů a verifikace kódu, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Sylabus
Model checking programůHledání chyb ve vícevláknových programechSymbolické vykonáváníDynamická analýzaÚvod do deduktivních metod SAT solvers, SMT solversOmezený model checkingPredikátová abstrakce a CEGARVybrané aplikace deduktivních metod ve verifikaci software verifikace programů proti kontraktůmStatická analýza kódu a její použití ve verifikaci programůAbstraktní interpretaceKombinace technik verifikaceTerminace programůSyntéza programů
Literatura
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking, MIT Press, 2000F. Nielson, H. R. Nielson, and Chris Hankin. Principles of Program Analysis, Springer, 2005D. Kroening and O. Strichman. Decision Procedures: An Algorithmic Point of View, Springer, 2008
Garant
RNDr. Pavel Parízek, Ph.D.