Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Program Semantics - NSWI162

Title:	Sémantika programů
Guaranteed by:	Department of Distributed and Dependable Systems (32-KDSS)
Faculty:	Faculty of Mathematics and Physics
Actual:	from 2020 to 2023
Semester:	winter
E-Credits:	1
Hours per week, examination:	winter s.:0/1, C [HT]
Capacity:	unlimited
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
State of the course:	taught
Language:	Czech
Teaching methods:	full-time
Teaching methods:	full-time
Additional information:	http://d3s.mff.cuni.cz/teaching/program_semantics/

Guarantor:	doc. RNDr. Jan Kofroň, Ph.D.
Class:	Informatika Bc.
Classification:	Informatics > Software Engineering
Incompatibility :	NSWE002
Interchangeability :	NSWE002

Opinion survey results Examination dates WS schedule Noticeboard

Annotation -

Last update: doc. RNDr. Petr Hnětynka, Ph.D. (24.04.2024)

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.

Course completion requirements - Czech

Last update: doc. RNDr. Jan Kofroň, Ph.D. (06.10.2017)

Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu. Z povahy věci tedy není možné zápočet opakovat.

Literature -

Last update: Tajemník Katedry (03.05.2017)

A. R. Bradley, Z. Manna: The Calculus of Computation, Springer-Verlag, 2007

E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999

Requirements to the exam - Czech

Last update: doc. RNDr. Jan Kofroň, Ph.D. (03.10.2017)

Pro získání zápočtu je nutné vypracovat zadané domácí úlohy v termínu.

Syllabus -

Last update: Tajemník Katedry (03.05.2017)

1) Introduction to program semantics

2) Methods for property specification

3) Mathematical means for specification

4) Proving of program properties