1. Silveroak
Formal specification and verification of hardware, especially for security and privacy.
2. Oak
Meaningful control of data in distributed systems.
3. rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
1-3 of 3 user projects