Modelling in the contexts of verification and design

Design and verification of an artefact are based on a (possibly implicit) model.

It is obvious that the quality of the aretfact and the verification results is not higher than the quality of the model was.

Define quality criteria for models, investigate to what extent these can be gained by a modelling method, and how these quality criteria are evaluated.

1. Introduction: The pragmatic view
   1. Paper factory
2. Quality criteria and their evaluation.
3. Proof, trust and belief.
4. Models and their purposes.
   1. Verification models.
   2. Design models.
   3. Performance models.
5. Classification of Verification and Design Problems
6. Formality and Informality.
7. Use of Diagrams.
8. Languages.
9. Non-Monotonic Refinement (HW)
10. Problem Frames.
11. Structure and Decomposition
12. Control Design
13. actual research questions
14. Theses on verification models