Runtime Vеrification
Blockchain security company
Details
Runtime Verification uses formal methods to perform security audits on virtual machines and smart contracts on public blockchains. It also provides software testing, verification services, and products to improve the safety, reliability, and correctness of software systems in the blockchain space.
Fundraising
Significant Events
2021-06-21
Runtime Vеrification raised $ 5.3 M in funding round
Similar Projects
Risk DAO
Research & Risk analysis for DeFi lending protocols
MixBytes
Blockchain solution advisory company
Stela Labs
Smart contract auditing and development firm
Certora
Smart contract security firm
OpenZeppelin
Crypto cybersecurity technology and services company
CertiK
Blockchain security company
Slowmist
Blockchain security company
Quantstamp
Blockchain security company