Hacker News
- Kani Rust Verifier – a bit-precise model-checker for Rust https://model-checking.github.io/kani/ 12 comments
Linking pages
- Why Rust is actually good for your car. | by Johannes Foufas | Volvo Cars Engineering | Medium https://medium.com/volvo-cars-engineering/why-volvo-thinks-you-should-have-rust-in-your-car-4320bd639e09 362 comments
- Baby Steps http://smallcultfollowing.com/babysteps/blog/2023/01/20/rust-in-2023-growing-up/ 105 comments
- Don’t snipe me in space - intentional flash corruption for STM32 microcontrollers | xarantolus https://blog.010.one/Dont-snipe-me-in-space-intentional-flash-corruption-for-stm32-microcontrollers 15 comments
- From Unsafe To Safe | Comprehensive Understanding of Unsafe Rust - AlexZhang https://alexzhang-5109.xlog.app/From-Unsafe-To-Safe--Comprehensive-Understanding-of-Unsafe-Rust 12 comments
- GitHub - nyx-space/hifitime: A high fidelity time management library in Rust https://github.com/christopherrabotin/hifitime 10 comments
- From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/10/27/using-kani-with-the-bolero-property-testing-framework.html 9 comments
Related searches:
Search whole site: site:model-checking.github.io
Search title: Getting started - The Kani Rust Verifier
See how to search.