Se você foi treinado no uso de métodos formais (FM) para programação: Quão útil você achou? O que envolveu o seu treinamento em FM (por exemplo, um curso, um livro)? Quais ferramentas de FM você usa? Quais são as vantagens em velocidade / qualidade em comparação com a não utilização de FM?...