Kani: A Model Checker for Rust

5 comments

• ototot 1 hour ago
  Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
• ZeroCool2u 52 minutes ago
  The tutorial is helpful: https://model-checking.github.io/kani/kani-tutorial.html

  Reminds me a bit of hypothesis auto in its simplest applications: https://github.com/timothycrosley/hypothesis-auto/
• yusofake 17 minutes ago
  [dead]
• utterfake 6 minutes ago
  [flagged]