Application des techniques formelles au logiciel — Observatoire français des techniques avancées. Groupe Méthodes formelles en logiciel