Runtime Verification
A security auditing firm specializing in applying formal methods to secure blockchains.
What is Runtime Verification?
Runtime Verification provides security services including design review, code review, auditing and formal verification of smart contracts and protocols. Additionally, it develops and maintains security-focused tools, including ERCx and Kontrol. By applying formal methods, Runtime Verification enhances the safety, reliability, and correctness of computing systems across aerospace, automotive, and blockchain sectors.
Web3 dapps and developer tools related to Runtime Verification
Discover blockchain applications that are frequently used with Runtime Verification.
ETH Lift
Dedge Security
ChainAware.ai
Developer resources from Alchemy
How to choose an NFT game to play
Learn the Different Types of NFT Games and What You Should Consider Before Choosing an NFT Game to Play
Migrating NFT data from SimpleHash to Alchemy
This guide provides step-by-step examples for you to migrate NFT Data from SimpleHash to Alchemy.
How to make a memecoin on Solana: a step-by-step guide
Learn how to make a memecoin on Solana from a launchpad or DIY.
Runtime Verification alternatives
Explore web3 competitors and apps like Runtime Verification.
Composable Security
Nethermind Security
Hexagate
