Ben Chuanlong Du's Blog

It is never too late to learn.

Unit Testing and Formal Verification in Rust

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

Comments