Back to Organizations
Runtime Verification
Runtime Verification builds developer tooling focused on web3 security, providing auditing services and formal verification. They go beyond standard code reviews by mathematically proving or disproving key properties of the code, eliminating entire classes of vulnerabilities missed by traditional audits.
Moab, US
Funding Rounds
Funding Round: Seed
Funding Date: 1 Jun, 2021
Raised Amount: $5.3M
Investors
Grants
Stellar Development Foundation - Round 28
Raised Amount: $50K
Token Amount: 573K XLM
Date: 9 Jul, 2024