Le Cercle Informel de la Vérification Formelle
Faire rayonner
l’excellence française
dans la vérification
formelle.
Rassembler celles et ceux qui font la vérification formelle en France.
Rejoindre le CercleLancement officiel · 26 octobre 2026
01 / Notre héritage
Une excellence française.
Un rayonnement à construire.
La France est un pays fondateur de la vérification formelle. Nos laboratoires de recherche, nos universités, nos écoles d’ingénieurs et nos grandes entreprises ont développé et déployé des technologies de référence, utilisées dans l’aéronautique, le spatial, le ferroviaire, le nucléaire.
Pourtant, notre discipline reste grandement méconnue, même en France, et plus encore à l’international. Et bien souvent, nous ne nous connaissons pas personnellement.
02 / Notre conviction
La vérification formelle
va s’imposer comme
une défense centrale.
Notre vision, forgée depuis des années, est alignée avec celle exprimée par Anthropic (nouvel onglet) : faire de la vérification formelle un pilier de la sécurité logicielle à l’ère de l’IA.
Les modèles d’IA progressent dans la découverte et l’exploitation de vulnérabilités dans les logiciels. Cette évolution renforce le besoin de garanties rigoureuses sur le comportement des systèmes.
Face à des capacités offensives croissantes, la vérification formelle permet de démontrer que des propriétés de sécurité sont respectées, dans un cadre et sous des hypothèses explicites.
L’IA ouvre aussi de nouvelles perspectives pour assister le travail de preuve et élargir l’utilisation de la vérification formelle. Cette double dynamique appelle à rapprocher la recherche et l’industrie, à partager nos expériences et à unir nos forces.
03 / L’appel
En ce 26 octobre 2026, nous fondons le
Cercle Informel de la Vérification Formelle.
Nous appelons
à nous rejoindre.
Les chercheurs, enseignants-chercheurs, doctorants, étudiants, ingénieurs, entrepreneurs et industriels qui font la vérification formelle en France.
Notre cercle fonctionne sur demande, sur invitation et sur cooptation.
Ceux qui en feront partie sauront pourquoi.
Lancement officiel · 26 octobre 2026