3 ms·
Related. Others? Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 https://news.ycombinator.com/item?id
by dang 4mo ago
Related. Others?
Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 https://news.ycombinator.com/item?id=30786511 - March 2022 (12 comments)