Kani: A Model Checker for Rust

(arxiv.org)

54 points by Jimmc4142 hours ago

1 comments

  • ototot43 minutes ago
    Their old paper: <a href="https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;pdf&#x2F;10.1145&#x2F;3510457.3513031" rel="nofollow">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;pdf&#x2F;10.1145&#x2F;3510457.3513031</a>