Certora
Audit firmFreshProver-based formal verification, extended to Soroban contracts.
Is this your company? Claim it →About
Formal-verification security audits for smart contracts.
Services
formal-verificationsoroban-auditprover-tooling
Coverage
defiglobal
Working together
- Accepting clients
- Yes
Links
Is this your company? Claim the profile to keep it current.