The Kani Rust Verifier Project #1 Post by sankha93 » Wed, May 04, 2022, 10:09 PM UTC The Kani Rust Verifier Projectmodel-checking.github.io
Re: The Kani Rust Verifier Project #2 Post by ototot » Thu, May 05, 2022, 7:26 AM UTC Their paper: https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-pre...