Login
From:
Colin Breck
(Uncensored)
subscribe
Making Even Safe Rust a Little Safer: Model Checking Safe and Unsafe Code
https://blog.colinbreck.com/making-even-safe-rust-a-little-safer-model-checking-safe-and-unsafe-code/
links
backlinks
Tagged with:
testing
c++
rust
verification
model checking
unsafe rust
kani
Whenever invariants can be expressed as proofs rather than as tests that may or may not be exhaustive, the mathematical guarantees of model checkers will provide stronger assurances the code is correct.
Roast topics
Find topics
Find it!
