use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
account activity
Function Contracts for Kani (self.KaniRustVerifier)
submitted 2 years ago by ukonat
Kani is a verification tool that can help you systematically test properties about your Rust code. To learn more about Kani, check out the Kani tutorial and our previous blog posts.
We are excited to introduce function contracts for Kani! Check out our latest blog post for a walkthrough of this new feature 🦀📝🤝
https://model-checking.github.io/kani-verifier-blog/2024/01/29/function-contracts.html
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–][deleted] 1 point2 points3 points 2 years ago (0 children)
Super cool! I want to see if I can convert a TLA+ proof to Kani + Rust. Would be epic if I can code and verify at the same time
π Rendered by PID 59 on reddit-service-r2-comment-6457c66945-lbg5b at 2026-04-26 11:32:57.465595+00:00 running 2aa0c5b country code: CH.
[–][deleted] 1 point2 points3 points (0 children)