Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Introduction to Formal Methods (17.0M533)

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

General information:

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

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

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.

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

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.

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