Syllabus
1) Introduction to program semantics
2) Methods for property specification
3) Mathematical means for specification
4) Proving of program properties
Annotation
The goal of the course is to introduce the foundation of program semantics, especially those of imperative programmning languages. A tool for verification of program properties will be introduced.
The credits will be given for making two small homeworks.