Runtime Verification

Smart-contract security audits

Audit firm

Fresh

DeFi

Global

About Runtime Verification

Formal methods firm — verification tooling and audits for Soroban.

Formal-verification and audit firm; has reviewed Stellar/Soroban protocol components.

Is this your company? Claim the profile to keep it current.

Already manage Runtime Verification? Sign in

Also tracked as a project

See its repos (1 repo), GitHub activity, and full project record →

Formal VerificationSoroban AuditProtocol Audit

Accepting clients

Yes

Partners teams usually bring in alongside audit firms like Runtime Verification.

Smart-escrow infrastructure on Stellar — escrow-as-a-service

DeFi yield & index infrastructure on Soroban, by Palta Labs

Decentralized price oracle for Stellar Network

Aquarius is Stellar's DeFi Hub. Swap instantly, provide liquidity, earn rewards, and take part in governance.

Full-stack blockchain security — audits, pentests, advisory.

Prover-based formal verification, extended to Soroban contracts.

Security audits across Rust chains — deep Soroban/Stellar track record.