coq-of-rust: Formal verification tool for Rust

github.com

cross-posted to:
formal_methods

coq-of-rust: Formal verification tool for Rust

github.com

RSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 12 hours ago

cross-posted to:
formal_methods

GitHub - formal-land/coq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

github.com

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 - formal-land/coq-of-rust

Comments

You must log in or register to comment.

Chat