FI FMSA Formal Methods for Software Analysis
Název anglicky: Formal Methods for Software Analysis
v akred. studijním programu, prezenční, vyučovací jazyk: čeština čeština
Zahrnut v programu: FI C-TEV Tematické vzdělávání

Předměty CŽV

Kód Název Garant Ukončení Rozsah Kreditů Semestr
FI:IA085Satisfiability and Automated Reasoning M. Jonášzk 2/1/14+2 -
FI:IA159Formal Methods for Software Analysis J. Strejčekzk 2/0/02+2 -
FI:IA169Model Checking J. Strejčekzk 2/1/03+2 -
15 kreditů