Essa seção ilustra a utilização da aplicação de verificação de modelos a metodologia CAFE, utilizando um exemplo de uma loja virtual.
