Rodin Handbook


2.2.2 Formal Modelling

We are concerned with formalizing specifications. Formal models allow us to perform a more rigorous analysis of our system (thereby improving the quality) and allow us to reuse the specification in the development an implementation. This comes at the cost of higher up-front investments.

This differs from the traditional development process. In a formal development, we transfer some effort from the test phase (where the implementation is verified) to the specification phase (where the specification in relation to the requirements is verified).