Předmět System Verification and Assurance (IA169)

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 IA169 - System Verification and Assurance, Fakulta informatiky, Masarykova univerzita (MU).

Materiál	Typ	Datum	Počet stažení

Cíl

The student will understand the necessary theoretic background as well as acquire hands-on experience with relevant tools for bug finding and formal verification techniques. With the help of a tutor students will get acquainted with a number of concrete software verification tools for analysis of concurrent systems, real-time systems, hybrid systems, cryptographic systems and systems with probabilities.

Osnova

This course will provide the necessary theoretic background as well as hands-on experience with relevant tools for bug finding and formal verification techniques. An introductory insight into security standards like Common Criteria for Information Technology Security Evaluation and FIPS 140 shall be provided first, together with a discussion of security threat models. Following this, the core topics of this course will include testing, simulations, advance testing and symbolic execution, abstract interpretation, static analysis, theorem proving, automated formal verification as well as an introduction to model-based verification. With the help of a tutor students will get acquainted with a number of concrete software verification tools for analysis of concurrent systems, real-time systems, hybrid systems, cryptographic systems and systems with probabilities.

Požadavky

(! IV113 Úvod do validace a verifikace ) && (! NOW ( IV113 Úvod do validace a verifikace ))User-level familiarity with Unix/Linux operating system. Basics of C programming. Basic astract math reasoning.

Garant

prof. RNDr. Václav Matyáš, M.Sc., Ph.D.

Vyučující

doc. RNDr. Jiří Barnat, Ph.D.RNDr. Vojtěch Řehák, Ph.D.prof. RNDr. Václav Matyáš, M.Sc., Ph.D.