Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Formal methods in Engineering (17.DOM67)

Native organizations units: No data

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

General information:

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

Educational goal:

To acquire 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 calculus (CCS, CSP, pi-calculus), Petri nets, Actor model, Z-notation. Automatic tools: PAT, UPAAL, Mobility Workbench. The application of formal methods will be discussed in software engineering, safety-critical systems, DNN - deep neural networks.

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 individually study the additional literature which they discuss with the . subject teacher at the consultation classes.

Literature:

Authors	Title	Year	Publisher	Language
Anne E Haxthausen	An introduction to formal methods for the development of safety-critical applications	2010		English
Xiaowei Huang, Marta Kwiatkowska, Sen Wang and Min Wu	Safety Verification of Deep Neural Networks	2017		English
Hubert Garavel (editor) and Susanne Graf	Formal Methods for Safe and Secure Computer Systems	2013	Springer	English