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.