Le LMF, lauréat de VerifyThis 2026, présentera Creusot à Rust Paris

Le LMF participera prochainement à Rust Paris 2026 le 9 juin 2026 avec une présentation consacrée à Creusot, son outil de vérification formelle de programmes Rust.

Lors de cette présentation, Li-yao Xia (ingénieur R&D) et Jacques-Henri Jourdan (chargé de recherche) expliqueront comment Creusot permet de prouver l’absence de certaines classes d’erreurs dans les programmes Rust grâce à la vérification déductive. Cette approche repose sur l’écriture de contrats de fonctions, c’est-à-dire de spécifications formelles décrivant précisément le comportement attendu des fonctions. L’exposé présentera également plusieurs études de cas de bibliothèques et d’applications vérifiées avec Creusot.