Seclect Currency
Fiat currencies
Crypto Currencies
No results for ""
We couldn't find anything matching your search.Try again with a different term.
![Runtime Verification's Logo](https://s1.coincarp.com/logo/project/runtime-verification.png?style=72)
Runtime Verification - Seed
Overview Investors Founders Company Profile / Project Introduction
Overview
Funding Date
June 18, 2021
Financing amount
$5.3M
Valuation
--
Catagory
About Runtime Verification - Seed
We apply formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Investors
Investors | Type | Location | Year Founded | #Portfolio Companies | Email Address | Socials |
---|---|---|---|---|---|---|
Fund | Hong Kong | 2017 | 102 | hello@iosg.vc | ||
Fund | United States of America | 2018 | 87 | hello@borderlesscapital.io | ||
Fund | China | 2015 | 103 | contact@fenbushi.vc | ||
Fund | Netherlands | 2015 | 61 | joost@maven11.com | ||
Corporate | Romania | 2017 | 3 | -- | ||
Fund | United States of America | 2020 | 78 | -- | ||
Foundation | -- | 2017 | 11 | -- | ||
Fund | United States of America | 2018 | 12 | info@wavegp.com |
Founders & Team
![Grigore Roșu's Logo](https://s1.coincarp.com/logo/founder/grigore-rou.png?style=36&v=1719976702)
Grigore Roșu
Company Profile / Project Introduction
We apply formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
*Fundraising Announcement: Click here
CoinCarp Fundraising Database is an online crypto and blockchain fundraising information database; that is, all the fundraising-related information is provided by third-party organizations and individuals. However, CoinCarp cannot guarantee the validity of the information found here. The information contained in this Fundraising Database is not investment advice.