The Kani Rust Verifier Project (model-checking.github.io)

4 points by sankha93 4y ago ↗ HN

1 comment

[ 7.5 ms ] story [ 20.1 ms ] thread

ototot 4y ago ↗

Their paper: https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-pre...