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... |