Formal Verification of Software (Olga Goloubeva)
The course provides basic knowledge of the theory of formal verification of software. Two main approaches to software verification are considered: deductive analysis and model checking. Duration of the course is 18 hours.