Produzir programas mais seguros é uma ciência, no sentido de um domínio de conhecimentos formais que utilizam abordagens sistemáticas e métodos meticulosos, dentre eles, há o Método B, um valioso ferramental que sustenta o trabalho de demonstração de correção. Analise as asserções a seguir e a relação proposta entre elas. I. O Método B apoia a especificação formal de um projeto, mediante um modelo empírico do sistema a ser desenvolvido. PORQUE II. Gerar, de forma automática, os lemas que precisam ser provados, para garantir que o modelo reflete os requisitos do sistema, constitui parte desse apoio. Avaliando essas asserções, é correto afirmar que: