https://decysif.fr/fr/tags/event/Recent content in Event on DéCySifHugofrOCamlProWed, 29 Apr 2026 17:00:00 +0200https://decysif.fr/fr/post/03_verifythis_winners_and_creusot_at_rust_paris/Wed, 29 Apr 2026 17:00:00 +0200https://decysif.fr/fr/post/03_verifythis_winners_and_creusot_at_rust_paris/<p>Le LMF participera prochainement à <strong><a href="https://event.systematic-paris-region.org/rustparis/">Rust Paris 2026</a></strong> le 9 juin 2026 avec une présentation consacrée à <strong>Creusot</strong>, son outil de vérification formelle de programmes Rust.</p> <p>Lors de cette présentation, <strong>Li-yao Xia</strong> (ingénieur R&amp;D) et <strong>Jacques-Henri Jourdan</strong> (chargé de recherche) expliqueront comment <strong>Creusot</strong> 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.</p>