Introduction to Formal Methods

Peressotti, M. (Guest lecturer)

Activity: Talks and presentationsGuest 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.
Period26. Aug 2020
Held atTechnical University of Denmark, Denmark
Degree of RecognitionNational