Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Formal methods in Engineering (17.DOM67)

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

General information:

Category	Scientific-professional
Scientific or art field	Applied Computer Science and Informatics Teorijska i primenjena matematika
ECTS	10

To acquire 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 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.

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.

Authors	Title	Year	Publisher	Language
Hubert Garavel (editor) and Susanne Graf	Formal Methods for Safe and Secure Computer Systems	2013	Springer	English
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