Creusot est un vérificateur déductif de programmes Rust, vous permettant de prouver que votre code Rust est correct. Ici, on vous explique ce qu’est la vérification déductive, avec un aperçu de sa mise en pratique avec Creusot.
Vérifier formellement des programmes Rust avec Creusot
Abonnements, magazines... Notre catalogue complet au bas de cette page.
