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

References

• Verify Rust Code

• Unit Test in Rust

• Issues in asserting Result

• Prusti – Deductive Verification for Rust

• A static verifier for Rust, based on the Viper verification infrastructure.

• Verification Competitions