Předmět Formal Verification Methods (IA159)
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 IA159 - Formal Verification Methods, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
At the end of this course, students should be able to: understand and explain principles, advantages, and disadvantages of basic formal verification methods, namely model checking methods, symbolic execution, abstract interpretation, and theorem proving;make reasoned decisions about suitability of various methods for verification of specific systems;
Osnova
Overview of formal verification methods.Deductive verification methods (theorem proving).LTL model checking of finite and infinite-state systems.Abstraction.Counter-example guided abstraction refinement.Bounded model checking.Symbolic execution.Static analysis, abstract interpretation.Verification tools.
Literatura
PELED, Doron. Software reliability methods. New York: Springer, 2001. xix, 331 s. ISBN 0-387-95106-7. infoGRUMBERG, Orna, Doron PELED a Edmund M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314 s. ISBN 0-262-03270-8. info
Požadavky
IA006 Automaty It is recommended to attend courses IA040 Modální a temporální logiky procesů and IV113 Úvod do validace a verifikace before registering this course.
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
doc. RNDr. Jan Strejček, Ph.D.