Introduction to Formal Methods

Peressotti, M. (Guest lecturer)

Department of Mathematics and Computer Science

Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities

Description

The course is organised in two parts. The first provides a high-level introduction to formal methods and how they can support the design and analysis of complex systems. The second illustrates methodologies like model-checking and machine-checked proofs using industry-level tools like TLA+ and its suite.

Period	26. Aug 2020
Held at	Technical University of Denmark, Denmark
Degree of Recognition	National

Documents & Links

Cyber Security Summer School