ZeroCool2u 13 hours ago The tutorial is helpful: https://model-checking.github.io/kani/kani-tutorial.htmlReminds me a bit of hypothesis auto in its simplest applications: https://github.com/timothycrosley/hypothesis-auto/
dang 10 hours ago Related. Others?Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 - March 2022 (12 comments)
rando1234 10 hours ago A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...
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/
Their old paper: https://dl.acm.org/doi/pdf/10.1145/3510457.3513031
Related. Others?
Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 - March 2022 (12 comments)
A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...