Formal Verification of Software

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.