[–] ZeroCool2u 2mo 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/
[–] rando1234 2mo ago ↗ A related Rust model checking tool more focused on detecting concurrency bugs: https://pure.royalholloway.ac.uk/ws/portalfiles/portal/71989...
[–] dang 2mo ago ↗ Related. Others?Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 - March 2022 (12 comments)
[–] ramon156 2mo ago ↗ Is this only limited to (bounds|overflow|DBZ) checks? I do not know a lot about model checkers, it seems pretty cool though! and definitely something that would be powerful in a test harness
10 comments
[ 5.4 ms ] story [ 34.5 ms ] threadReminds me a bit of hypothesis auto in its simplest applications: https://github.com/timothycrosley/hypothesis-auto/
Kani Rust Verifier – a bit-precise model-checker for Rust - https://news.ycombinator.com/item?id=30786511 - March 2022 (12 comments)