Formal Methods for Software Analysis (lifelong learning plan)

View data

FI FMSA Formal Methods for Software Analysis

Name in Czech: Formal Methods for Software Analysis
in accred. degree programme, full-time, language of instruction: Czech Czech

Included in the programme: FI C-TEV Thematic Learning

Předměty CŽV

Code	Name	Guarantor	Type of Completion	Extent and Intensity	Credits	Term
FI:IA085	Satisfiability and Automated Reasoning	M. Jonáš	zk	2/1/1	4+2	-
FI:IA159	Formal Methods for Software Analysis	J. Strejček	zk	2/0/0	2+2	-
FI:IA169	Model Checking	J. Strejček	zk	2/1/0	3+2	-
					15 credits