model-checking/verify-rust-std: Verifying the Rust standard library

github.com

saved by: 0 people
related read on: struct's lifetime requirements can be bypassed via covari... from the discussion