Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Location: United States, Illinois, Urbana
Total raised: $5.3M
Investors 2
| Date | Name | Website |
| - | Fenbushi C... | fenbushica... |
| - | Maven 11 C... | maven11.co... |
Funding Rounds 1
| Date | Series | Amount | Investors |
| 18.06.2021 | - | $5.3M | - |
Mentions in press and media 6
| Date | Title | Description | Source |
| 19.01.2023 | Runtime Verification completes smart contract audit for the ... | EUROe Logo (black) Membrane Finance team EUROe, the only EU-based regulated Euro stablecoin, has b... | einpresswi... |
| 08.07.2021 | Crypto Investors Are Pouring Millions Into Blockchain Projec... | July 8, 2021 9 min read This story originally appeared on ValueWalk Everyone wants to invest in blo... | entreprene... |
| 18.06.2021 | Blockchain Security Auditor Runtime Verification Raises $5.3... | Within its latest funding round, blockchain security auditor Runtime Verification has raised $5.3 mi... | u.today/bl... |
| 18.06.2021 | Security Audit Firm Raises $5.3M From Funds Investing in Pol... | Blockchain security auditor Runtime Verification has raised $5.3 million from a handful of prominent... | coindesk.c... |
| 16.12.2020 | Valid Points: The Four Keys to Unlocking Ethereum 2.0, Expla... | Three weeks into its launch, Ethereum 2.0 is close to tripling its initial deposit threshold of 524,... | coindesk.c... |
| 12.10.2020 | It’s Time to Launch the Ethereum 2.0 Beacon Chain | It’s time for the Ethereum 2.0 beacon chain to launch. We've spent the last nine months testing the... | coindesk.c... |