Runtime Verification Platform by Runtime Verification Inc. is a cloud-based and CI-integrated symbolic execution delivery platform optimized for smart contract formal verification. It provides a method to write proofs in Solidity or Rust, or utilize existing Foundry tests to achieve the highest level of guarantee for a codebase.
