Kani: A Model Checker for Rust

159 pointsarxiv.org
Jimmc41425hrs