Nous présentons dans cet article l’outil “coq-of-rust” https://github.com/formal-land/coqof-rust, un outil d’analyse de code Rust pour garantir l’absence de bug dans un programme par vérification formelle.
Coq-of-rust : un code sans bug
Abonnements, magazines... Notre catalogue complet au bas de cette page.
