Login
From:
The Rust Foundation
(Uncensored)
subscribe
Expanding the Rust Formal Verification Ecosystem: Welcoming ESBMC
https://rustfoundation.org/media/expanding-the-rust-formal-verification-ecosystem-welcoming-esbmc/
links
backlinks
Tagged with:
blog
The Rust Foundation is excited to celebrate the successful integration of a new formal verification tool, ESBMC (Efficient SMT-based Context-Bounded Model Checker), into the Rust standard library verification initiative. This…
Roast topics
Find topics
Find it!
