L'étude que nous avons publiée dans ACM Computing Surveys examine certaines des principales approches formelles et les compare aux méthodes informelles.
L'analyse que nous avons menée utilise un ensemble de 9 critères complémentaires, tels que le niveau d'abstraction, la disponibilité des outils, le support de la traçabilité. Elle est mise en oeuvre sur 22 approches différentes, classées en cinq catégories : polyvalentes, langage naturel, graphes/automates, autres notations mathématiques, sans couture (basée sur un langage de programmation). Ce survey aborde également un certain nombre de questions ouvertes, notamment le rôle des outils et de l'éducation, et la manière de faire profiter davantage les applications industrielles des contributions des approches formelles.