Advertisement

Kani: A Model Checker for Rust

91

JJimmc414 about 5 hours ago 5 commentsRead Article on arxiv.org

DE version is available. Content is displayed in original English for accuracy.

Advertisement

Discussion (5 Comments)Read Original on HackerNews

ototot•about 3 hours ago

Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031

ZeroCool2u•about 2 hours 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/