3.3 Summary and seminar exercises
Summary
This module software testing and verification, and how we can formally model and verify system with machine-readable tools. However, no system is ever perfect, so we also need to be aware of how we monitor systems in the field and react to problems.
Advanced material will be presented by each group (one topic per group, group X doing topic 3.4x):
3.3c Safety and security standards for next-generation systems
Do
For the first part of the seminar day: Part 3, Theory
For the second part of the seminar day: Part 3, Project