Get the latest tech news
Coq-of-rust: Formal verification tool for Rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 - formal-land/coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! Even if Rust's type system prevents many mistakes, including memory errors, the code is still not immune to vulnerabilities, such as unexpected panics or wrongly implemented business rules. We go through two semi-automated refinement steps, links and simulations, that gradually make the code more amenable to formal verification.
Or read this on Hacker News
