Why All the Formalities?
Let's discuss why we need the complicated, formal, and academic constructs we have learned till now.
We'll cover the following...
The previous chapters spent a significant amount of time going through many different formal models.
The need for formal models
All these complicated, formal, and academic constructs help us define different types of properties in a more precise way. As a result, when we design a system, we ...