Introduction to Formal Methods

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.

Periode	26. aug. 2020
Sted for afholdelse	Danmarks Tekniske Universitet , Danmark
Grad af anerkendelse	National