%22%3E%3Crect%20fill%3D%22%23ffb300%22%20width%3D%22120%22%20height%3D%22120%22%20x%3D%220%22%20y%3D%220%22%20%2F%3E%3Cg%20transform%3D%22translate(22%2068)%22%3E%3Crect%20x%3D%2224%22%20y%3D%226%22%20width%3D%2227%22%20height%3D%228%22%20rx%3D%224%22%20fill%3D%22%23000%22%20fill-opacity%3D%22.8%22%2F%3E%3C%2Fg%3E%3Cg%20transform%3D%22translate(8%2020)%22%3E%3Cpath%20d%3D%22M29.27%209.68c-2.55.13-4.96%202.24-6.25%204.15-1.48-1.76-4.1-3.6-6.65-3.47-5.48.28-8.85%203.8-8.63%208.1.3%205.72%204.88%208.89%209.7%2012.24%201.71%201.15%205%204.15%205.42%204.82.42.67%202.14.6%202.58-.13a37.8%2037.8%200%200%201%204.9-5.36c4.43-3.84%208.66-7.47%208.36-13.2-.23-4.3-3.95-7.44-9.43-7.15ZM87.63%2010.36c-2.55-.14-5.17%201.7-6.65%203.47-1.3-1.9-3.7-4.02-6.25-4.15-5.48-.29-9.2%202.86-9.43%207.16-.3%205.72%203.93%209.35%208.36%2013.19%201.6%201.32%204.55%204.64%204.9%205.36.35.7%202.06.82%202.58.13.51-.7%203.7-3.67%205.42-4.82%204.81-3.35%209.4-6.52%209.7-12.24.22-4.3-3.15-7.82-8.63-8.1Z%22%20fill%3D%22%23FF5353%22%20fill-opacity%3D%22.8%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E)
Runtime Vеrification
Blockchain security company
Trend of Hot Index Change
Runtime Vеrification
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
Related News
How do you feel about Runtime Vеrification today?
Total Votes 1267
Significant Events
Jun, 2021
Runtime Vеrification raised $ 5.3 M in funding round
Similar Projects
CertiK
Blockchain security company
OpenZeppelin
Crypto cybersecurity technology and services company
Quantstamp
Blockchain security company
Halborn
Blockchain cybersecurity firm
MetaTrust
Automatic security scanning solution for Web3 Applications
Hacken
Web3 cybersecurity auditor
sec3
Web3 Security research firm
Veridise
Hardening blockchain security with formal methods