Os tópicos 29 e 30 reúnem modelos e o código correspondente. A intenção é verificar as implementações. Elas podem não estar consistentes com os modelos, por exemplo, pode estar incompleta ou mesmo equivocada. A intenção é assegurar que o código fornecido, de fato, reflete uma implementação "correta" dos modelos correspondentes.
Os tópicos 29 e 30 reúnem modelos e o código correspondente. A intenção é verificar as implementações. Elas podem não estar consistentes com os modelos, por exemplo, pode estar incompleta ou mesmo equivocada. A intenção é assegurar que o código fornecido, de fato, reflete uma implementação "correta" dos modelos correspondentes.