earlier phases support the specification of systems and system components
and the verification of high-level designs. For example, the previous section
mentions the use in architecture design of model checkers, VDM, and formal
specification languages such as Z. Formal methods commonly used in detailed