Login
From:
Kani Rust Verifier Blog
(Uncensored)
subscribe
How Kani helped find bugs in Hifitime
https://model-checking.github.io//kani-verifier-blog/2023/03/31/how-kani-helped-find-bugs-in-hifitime.html
links
backlinks
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
