Introduction to Formal Methods

Peressotti, M. (Underviser)

Aktivitet: Foredrag og mundtlige bidragGæsteforelæsning, undervisning og kursusvirksomhed ved andre universiteter

Beskrivelse

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.
Periode26. aug. 2020
Sted for afholdelseDanmarks Tekniske Universitet , Danmark
Grad af anerkendelseNational