Ce rapport de synthèse du groupe de travail Méthodes formelles en logiciel de l'Observatoire français des techniques avancées, montre comment l'utilisation des techniques formelles va aider à la résolution des problèmes de productivité et de fiabilité du logiciel.