...

/

Why All the Formalities?

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 ...

...