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 7
| Date | Title | Description |
| 18.08.2026 | Runtime Verification and Assurea Partner to Strengthen Software Safety for Medical Devices, SaMD and Artificial Organs | Software-enabled artificial organs are medicine's next frontier, and reaching it safely means proving the software behaves exactly as intended. The partnership brings together formal verification expertise and practical implementation suppo... |
| 19.01.2023 | Runtime Verification completes smart contract audit for the first EU-based regulated stablecoin EUROe. | EUROe Logo (black) Membrane Finance team EUROe, the only EU-based regulated Euro stablecoin, has been audited by a leading security company as it nears launch on Ethereum. Security of EUROe is paramount to us, both from a regulatory and tru... |
| 08.07.2021 | Crypto Investors Are Pouring Millions Into Blockchain Projects | July 8, 2021 9 min read This story originally appeared on ValueWalk Everyone wants to invest in blockchain. At least, that’s the impression one gets from the daily funding announcements that are eagerly reported by crypto news media. Here a... |
| 18.06.2021 | Security Audit Firm Raises $5.3M From Funds Investing in Polkadot, Cardano Blockchains | Blockchain security auditor Runtime Verification has raised $5.3 million from a handful of prominent backers. Led by IOSG Ventures, the funding round included investment from Polkadot-focused Hypersphere Ventures, Cardano's cFund, the Tezos... |
| 18.06.2021 | Blockchain Security Auditor Runtime Verification Raises $5.3 Million | Within its latest funding round, blockchain security auditor Runtime Verification has raised $5.3 million. The funding round was led by IOSG Ventures. According to the press release, the key investors were major players of the venture capit... |
| 16.12.2020 | Valid Points: The Four Keys to Unlocking Ethereum 2.0, Explained | Three weeks into its launch, Ethereum 2.0 is close to tripling its initial deposit threshold of 524,288 ETH. These deposits made in increments of 32 ETH represent the stake of active or soon-to-be active validators on the network. Data as o... |
| 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 life out of this thing. The year began with huge, long-running single client testnets: Sapphire, Topaz and Onyx networks run by Prysmatic La... |