Kani: A Model Checker for Rustarxiv.org
66 points by Jimmc414 3 hours ago | 2 comments