Sylabus
1) Představení pojmu sémantiky programů
2) Metody specifikace vlastností imperativních programů
3) Matematické základy specifikace
4) Dokazování vlastností programů
Anotace
Cílem kurzu je seznámit studenty se základy sémantiky imperativních programovacích jazyků. Studenti budou seznámeni s nástrojem pro verifikaci vlastností programů. Zápočet bude udělen za vypracování dvou domácích
úloh malého rozsahu.