System Validation (4): Modelling Software, Protocols, and other behaviour
- Advanced modelling
- We show how the behavior of simple programs and communication protocols can be modelled and analysed. Furthermore, we introduce the notion of a linear process: a simple normal form to which every behavior can be reduced. This normal form is the workhorse when it comes to the analysis of behavior.
- Modelling guidelines
- In this lecture you see various modelling techniques that can be used to keep the state space of your models small.
