vary dynamically. Such software-intensive systems impose new challenges on
the use of formal methods to verify the correctness of a design. [237]
5.3.4.2.1 Design by Contract
Design by Contract (DbC) is an approach to providing components that can