Formal Methods for Software Analysis

Course terms

Term
Spring 2026
2 semesters of teaching
Participants
up to 10
Price

18,000 CZK

Enrol

Enrolment deadline
since 2 by 15 Feb 2026 (including)

About course

How to enrol

Enrolment requirements

Course contents, lectures

Předměty jsou ukončovány standardním způsobem, a to ověřováním nabytých znalostí závěrečným přezkoušením. Toto přezkoušení probíhá buď písemně či ústně. Forma ukončení je variabilní a záleží na zvoleném předmětu. V souladu se SZŘ MU jsou předměty ukončovány zápočtem, kolokviem či zkouškou.

Course details

Provided by Faculty of Informatics
Guarantor
doc. RNDr. David Svoboda, Ph.D.
Hours 96
Weeks 24
Microcredential
ECTS credits 15
EQF level 6

Are you hesitating?
Do you have a question?

Are you interested in the content and conditions of the course: Formal Methods for Software Analysis? Ask us:

You are running an old browser version. We recommend updating your browser to its latest version.

More info