Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Test vs Verification
Rust Design-for-Testability: a survey
Rust testing or verifying: Why not both?
KLEE Symbolic Execution Engine
Library-ification and analyzing Rust