Kani Rust Verifier
Posted 2 hours ago by
lwhsiao
3
points
https://github.com/model-checking/kani
0
comments