Přednáška:
  Pátek, 10:40, SU1 (liché týdny -- sudé kalendářní) (Jan Kofroň)
Informace v SISu: NSWI162
Zakončení: Zápočet

Aktuality

Přednášky

Datum Název Soubory
4. 10. 2019 Úvod, výroková logika, speciální teorie, kontrakty pro specifikace programů prednaska01.pdf
18. 10. 2019 Indukce
1. 11. 2019 Pi a PiVC
15. 11. 2019 Částečná správnost
29. 11. 2019 Úplná správnost
13. 12. 2019 Strategie pro psaní anotací
10. 1. 2020 Reálné systémy pro verifikaci pomocí kontraktů

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í tří domácích úloh malého rozsahu.

Sylabus

Literatura