Runtime Verification
Security Audit Firm Raises $5.3M From Funds Investing in Polkadot, Cardano Blockchains
Runtime Verification checks smart contracts for errors, perhaps most famously with Uniswap.

Runtime Verification checks smart contracts for errors, perhaps most famously with Uniswap.
