Verification of properties set at the design stageΒΆ

This section gives some ideas about how verify properties that come from the design stage of the application: