- How Kani helped find bugs in Hifitime [formal methods] https://model-checking.github.io/kani-verifier-blog/2023/03/31/how-kani-helped-find-bugs-in-hifitime.html 4 comments rust
Linking pages
- This Week in Rust 490 · This Week in Rust https://this-week-in-rust.org/blog/2023/04/12/this-week-in-rust-490/ 8 comments
- Hifitime - Nyx Space https://nyxspace.com/hifitime/#time-scales 5 comments
- How Open Source Projects are Using Kani to Write Better Software in Rust | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/how-open-source-projects-are-using-kani-to-write-better-software-in-rust/ 0 comments
Linked pages
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:model-checking.github.io
Search title: How Kani helped find bugs in Hifitime | Kani Rust Verifier Blog
See how to search.