Applied Formal Methods

Alberto Griggio (Fondazione Bruno Kessler - FBK, Italy)

Period:

Thursday, April 4, 2024 to Thursday, May 23, 2024

Year:

2024

Credits:

3.00

Duration:

Objectives

The course will provide an overview of modern techniques for the formal analysis of computer systems. We will focus particularly on symbolic approaches based on automated theorem proving and Satisfiability Modulo Theories, and illustrate applications to the design, verification, and safety assessment of complex systems, discussing techniques such as model checking, model-based safety analysis and runtime verification.

Schedule:

April 4, 2024, 9 a.m. – 10:30 a.m.
April 9, 2024, 9 a.m. – 10:30 a.m.
April 11, 2024, 9 a.m. – 10:30 a.m.
April 16, 2024, 9 a.m. – 10:30 a.m.
April 18, 2024, 9 a.m. – 10:30 a.m.
April 23, 2024, 9 a.m. – 10:30 a.m.
May 3, 2024, 4.30 p.m. - 6 p.m.
May 7, 2024, 9 a.m. – 10:30 a.m.
May 9, 2024, 9 a.m. – 10:30 a.m.
May 14, 2024, 9 a.m. – 10:30 a.m.
May 17, 2024, 9 a.m. – 10:30 a.m.
May 21, 2024, 9 a.m. – 10:30 a.m.
May 23,2024, 9 a.m. – 11 a.m.

The lectures will be held in room “Luigi Stringa”, FBK Povo, Via Sommarive, 18, Povo

Menù