alt Hacker NewsKani: A Model Checker for Rust
Comments
ototot • today at 5:45 PM
Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
yusofake • today at 7:06 PM
[dead]
bestonetwo • today at 7:28 PM
[dead]
utterfake • today at 7:17 PM
[flagged]
Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
[dead]
[dead]
[flagged]
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/