Introduction to V&V and Formal Methods (Markov Processes, Temporal Logics)
10:00 - 10:30 – Michaela Klauck
General, basic introduction to the concepts of formal methods. Introduction to different types of Markov models and temporal logics and a motivation why formal verification is needed in industrial contexts.
- Session materials: