FI FVP Formal verification and program analysis
Name in Czech: Formální verifikace a analýza programů
Master's full-time specialized
Included in the programme: FI N-TEI Theoretical computer science

Povinné předměty studijního programu

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA006Selected topics on automata theory M. Křetínskýzk 2/1/03+2 1Z
FI:IA008Computational Logic A. Blumensathzk 2/2/03+2 1Z
FI:MA007Mathematical Logic A. Kučerazk 2/13+2 1Z
FI:IA012Complexity I. Černázk 2/02+2 2Z
FI:IV003Algorithms and Data Structures II I. Černázk 2/2/03+2 2Z
FI:PA152Efficient Use of Database Systems V. Dohnalzk 2/0/13+2 2Z
FI:IV054Coding, Cryptography and Cryptographic Protocols J. Gruskazk 2/1/25+2 3Z
FI:IV111Probability in Computer Science V. Řehákzk 2/2/03+2 3P
FI:PA159Net-Centric Computing I E. Hladkázk 2/0/02+2 3Z
45 credits

Master's thesis

Povinnost získat 20 kreditů z předmětu SDIPR.

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:SDIPRDiploma Thesis P. Matulaz 0/0/020 4-
20 credits

Povinné předměty specializace

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA010Principles of Programming Languages A. Blumensathzk 2/02+2 2Z
FI:IA011Programming Language Semantics A. Kučerazk 2/13+2 2Z
FI:IA159Formal Verification Methods J. Strejčekzk 2/02+2 2Z
FI:IA168Algorithmic game theory T. Brázdilzk 2/02+2 1Z
FI:IA169System Verification and Assurance J. Barnatzk 2/0/24+2 1Z
FI:IV022Design and verification of algorithms L. Brimzk 2/02+2 2Z
FI:PA008Compiler Construction M. Křetínskýzk 3/03+2 1Z
FI:PV260Software Quality B. Bühnovák 2/2/14+1 4Z
37 credits

Alespoň 4 kredity z následujících předmětů

Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat.
FI:IA072Seminar on Verification J. Strejčekz 0/2/02 3-
FI:IV074Laboratory of Parallel and Distributed Systems J. Barnatz 0/0/22 4-
FI:IV115Parallel and Distributed Laboratory Seminar J. Barnatz 0/22 3-
6 credits

Volitelné kredity