4 ms·The Kani Rust Verifier Project4 points by sankha93 4y agoototot 4y agoTheir paper: https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-pre...