Slide 1 Slide 2 Holger Hermanns Formal Methods for Software Engineering Part III: Applications of Formal Methods Lecture 10: Applications? Slide 3 Holger Hermanns Formal…