Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Introduction to Formal Methods (17.0M533)

Native organizations units: No data

Type of studies	Title
Master Academic Studies	Mathematics in Engineering (Godina: 2, Winter)
Master Academic Studies	Information Engineering (Godina: 1, Winter)

General information:

Category	Scientific-professional
Scientific or art field	Teorijska i primenjena matematika
Interdisciplinary	Yes
ECTS	4

Educational goal:

Acquiring knowledge in formal methods. Practical work with tools. Student involvement in scientific research.

Educational outcome:

Knowledge about theoretical foundations and practical work with formal methods. Participating in research in the particular aspect of the subject area, based on student`s interests and in cooperation with researchers from the region and abroad.

Course content:

Formal specification. Formal verification. Formal machine-checked proofs. Specification languages: process calculu (CCS, CSP, pi-calculus), Petri nets. Automatic tools: PAT, Mobility Workbench.

Teaching methods:

The presentation of the theoretical part during the lectures is followed by the characteristic examples which contribute to better understanding of the subject matter. The students are expected to study in groups and individually the additional literature which they discuss with the course lecturer at the consultation classes.

Literature:

Authors	Title	Year	Publisher	Language
Hubert Garavel (editor) and Susanne Graf	Formal Methods for Safe and Secure Computer Systems	2013	Springer	English
Schneider, K.	Verification of reactive systems	2004	Springer, Berlin	English