Semester: winter 2022/23
Lectures: Wed 10:40, S1 (Pavel Parízek, Martin Nečaský)
Labs: Wed 12:20, S1
Page in SIS: NTIN043
Grading: Credit and exam

The goal of this course is to provide an overview of methods and tools for the formal specification of requirements, architecture and behavior of software systems. We will show practical examples focusing especially on the design phase and validation.

This course is intended for students enrolled to the Master's programme in computer science.


Date Title Downloads
5.10.2022 Organization & Introduction to Formal Methods


Date Topic Examples

Homework Assignments

Topic Deadline