Métodos Formais são métodos utilizados para elaboração de sistemas computacionais dando prioridade a sua coesão, isto porque estes métodos são desenvolvidos a partir de princípios matemáticos que garantem a sua exatidão na capacidade de expressão das ideias vinculadas ao projeto de software.
Estes métodos foram desenvolvidos para auxiliar todas as etapas de desenvolvimento de software, sendo elas: especificação formal para definição de requisitos, refinamento para concepção de projeto, síntese para implementação, prototipagem para a validação e prova para a verificação.
Além disso, o uso de Métodos Formais poder ser aplicado durante todas as etapas de desenvolvimento do software ou somente em algumas etapas ou partes do projeto de desenvolvimento.
Fonte: https://www.devmedia.com.br/como-usar-os-metodos-formais-no-desenvolvimento-de-software/31339