thierrymarianne / contrib-ledger-project-eu-rust-verification-tools Goto Github PK
View Code? Open in Web Editor NEWThis project forked from project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Home Page: https://project-oak.github.io/rust-verification-tools/
License: Other