Alternatives to Runtime Verification
The top Software Verification companies similar to Runtime Verification, ranked by relevance (named competitors first, then how closely their sectors overlap) and our 0-100 AI-readiness score. Each links to a full profile with funding and team.
CertiK63Web3New York, United States$241.5M
Certora61BlockchainTel Aviv, Israel$36.0M
Sonarly48Developer ToolsSan Francisco, United States$500K
SphereX54BlockchainTel Aviv, Israel$8.2M
dWallet Labs46CybersecurityTel Aviv, Israel$5.0M
Mailchain42Web3London, United Kingdom$4.6M
Clawcard.sh16Fintech- FUFuzzland10BlockchainPalo Alto, United States$3.0M
AudsolCybersecurityMiami, United States$1.5M
Polygon81BlockchainMumbai, India$400.0M
Tailscale74CybersecuritySan Francisco, United States$505.0M
Immutable X66Web3Melbourne, Australia$62.4M
NanoCo63Artificial IntelligenceSan Francisco, USA$12.0M
ZBD62Lightning NetworkTel Aviv, Israel$20.0M
Monad Labs62BlockchainNew York, United States$266.0M
Stytch61AuthenticationSan Francisco, USA$127.0M
Castle60CybersecuritySan Francisco, United States$9.2M
WorkOS, Inc.59Identity & Access ManagementSan Francisco, United States
Torus58Decentralized IdentitySingapore, Singapore$334.5M
Near58BlockchainZug, Switzerland$1.1B
Steel.dev58Developer ToolsTel Aviv, Israel$17.0M
Seismic56FintechSan Francisco, United States$17.0M
Seekret55APITel Aviv, Israel
Spectral55EnterpriseTel Aviv, Israel$6.2M- SPSpaceComputer54SpaceTechSingapore, Singapore$10.0M
Wing Cloud54EnterpriseTel Aviv, Israel$20.0M
Connext54Fintech$12.0M
Tweed54FintechNew York, United States$4.0M
Piiano54EnterpriseTel Aviv, Israel$9.0M
ConsenSys (Infura)54Web3San Francisco, United States$221.0M
Lunar.dev53EnterpriseTel Aviv, Israel$6.0M
Dynamic53AuthenticationSan Francisco, United States$21.0M
The Graph53Web3San Francisco, United States
Fhenix53BlockchainNew York, United States$22.0M
CipherOwl52FintechSan Francisco, United States$15.0M
Adronite51Artificial IntelligenceSeattle, United States$5.0M
Infisical51Developer ToolsSan Francisco, United States$34.8M
Permit.io51Identity ManagementTel Aviv, Israel$14.0M
IO River50EnterpriseSan Francisco, United States$17.4M
Horizon Blockchain Games47FintechToronto, Canada$10.0M
ORY47Identity & Access ManagementBerlin, Germany$17.0M- TRTruffle Security47CybersecuritySan Francisco, United States$30.0M
Subzero Labs47DePINZug, Switzerland$26.5M
Halliday46Agentic AISan Francisco, United States
SendBlocks46BlockchainTel Aviv, Israel$8.2M
Inigo46EnterpriseSan Francisco, United States
Shards Protocol41Web3Singapore, Singapore$4.0M- DEDeblock41Web3Tel Aviv, Israel$32.4M
Storj41Cloud StorageAtlanta, United States$973.0M
Slauth.io40EnterpriseAshburn, United States$1.5M- Defensor40CybersecurityTel Aviv, Israel$12.0M
Parfin40FintechSão Paulo, Brazil$36.0M- THThe Ether Machine39Web3$654.0M
Othentic Labs39BlockchainSan Francisco, United States
PropelAuth37Software DevelopmentRedwood City, US$1.5M
Starkbot36Web3Tel Aviv, Israel
reNFT36Web3$2.0M- FRFrego36Web3Tel Aviv, Israel$2.0M
Encentive36Web3Singapore, Singapore$71.0M- DADashverse35Web3$16.5M
| Company | Sector | HQ | Funding | Score |
|---|---|---|---|---|
| CertiK | Web3 | New York, United States | $241.5M | 63 |
| Certora | Blockchain | Tel Aviv, Israel | $36.0M | 61 |
| Sonarly | Developer Tools | San Francisco, United States | $500K | 48 |
| SphereX | Blockchain | Tel Aviv, Israel | $8.2M | 54 |
| dWallet Labs | Cybersecurity | Tel Aviv, Israel | $5.0M | 46 |
| Mailchain | Web3 | London, United Kingdom | $4.6M | 42 |
| Clawcard.sh | Fintech | — | — | 16 |
| FUFuzzland | Blockchain | Palo Alto, United States | $3.0M | 10 |
| Audsol | Cybersecurity | Miami, United States | $1.5M | — |
| Polygon | Blockchain | Mumbai, India | $400.0M | 81 |
| Tailscale | Cybersecurity | San Francisco, United States | $505.0M | 74 |
| Immutable X | Web3 | Melbourne, Australia | $62.4M | 66 |
| NanoCo | Artificial Intelligence | San Francisco, USA | $12.0M | 63 |
| ZBD | Lightning Network | Tel Aviv, Israel | $20.0M | 62 |
| Monad Labs | Blockchain | New York, United States | $266.0M | 62 |
| Stytch | Authentication | San Francisco, USA | $127.0M | 61 |
| Castle | Cybersecurity | San Francisco, United States | $9.2M | 60 |
| WorkOS, Inc. | Identity & Access Management | San Francisco, United States | — | 59 |
| Torus | Decentralized Identity | Singapore, Singapore | $334.5M | 58 |
| Near | Blockchain | Zug, Switzerland | $1.1B | 58 |
| Steel.dev | Developer Tools | Tel Aviv, Israel | $17.0M | 58 |
| Seismic | Fintech | San Francisco, United States | $17.0M | 56 |
| Seekret | API | Tel Aviv, Israel | — | 55 |
| Spectral | Enterprise | Tel Aviv, Israel | $6.2M | 55 |
| SPSpaceComputer | SpaceTech | Singapore, Singapore | $10.0M | 54 |
| Wing Cloud | Enterprise | Tel Aviv, Israel | $20.0M | 54 |
| Connext | Fintech | — | $12.0M | 54 |
| Tweed | Fintech | New York, United States | $4.0M | 54 |
| Piiano | Enterprise | Tel Aviv, Israel | $9.0M | 54 |
| ConsenSys (Infura) | Web3 | San Francisco, United States | $221.0M | 54 |
| Lunar.dev | Enterprise | Tel Aviv, Israel | $6.0M | 53 |
| Dynamic | Authentication | San Francisco, United States | $21.0M | 53 |
| The Graph | Web3 | San Francisco, United States | — | 53 |
| Fhenix | Blockchain | New York, United States | $22.0M | 53 |
| CipherOwl | Fintech | San Francisco, United States | $15.0M | 52 |
| Adronite | Artificial Intelligence | Seattle, United States | $5.0M | 51 |
| Infisical | Developer Tools | San Francisco, United States | $34.8M | 51 |
| Permit.io | Identity Management | Tel Aviv, Israel | $14.0M | 51 |
| IO River | Enterprise | San Francisco, United States | $17.4M | 50 |
| Horizon Blockchain Games | Fintech | Toronto, Canada | $10.0M | 47 |
| ORY | Identity & Access Management | Berlin, Germany | $17.0M | 47 |
| TRTruffle Security | Cybersecurity | San Francisco, United States | $30.0M | 47 |
| Subzero Labs | DePIN | Zug, Switzerland | $26.5M | 47 |
| Halliday | Agentic AI | San Francisco, United States | — | 46 |
| SendBlocks | Blockchain | Tel Aviv, Israel | $8.2M | 46 |
| Inigo | Enterprise | San Francisco, United States | — | 46 |
| Shards Protocol | Web3 | Singapore, Singapore | $4.0M | 41 |
| DEDeblock | Web3 | Tel Aviv, Israel | $32.4M | 41 |
| Storj | Cloud Storage | Atlanta, United States | $973.0M | 41 |
| Slauth.io | Enterprise | Ashburn, United States | $1.5M | 40 |
| Cybersecurity | Tel Aviv, Israel | $12.0M | 40 | |
| Parfin | Fintech | São Paulo, Brazil | $36.0M | 40 |
| THThe Ether Machine | Web3 | — | $654.0M | 39 |
| Othentic Labs | Blockchain | San Francisco, United States | — | 39 |
| PropelAuth | Software Development | Redwood City, US | $1.5M | 37 |
| Starkbot | Web3 | Tel Aviv, Israel | — | 36 |
| reNFT | Web3 | — | $2.0M | 36 |
| FRFrego | Web3 | Tel Aviv, Israel | $2.0M | 36 |
| Encentive | Web3 | Singapore, Singapore | $71.0M | 36 |
| DADashverse | Web3 | — | $16.5M | 35 |