Cryptos: 30,733 Exchanges: 348 Market Cap: $2,432.35B 24h Vol: $55.11B Dominance: BTC 52% ETH 13.8% ETH Gas:  1 Gwei
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

      Runtime Verification - Seed

      Overview Investors Founders Company Profile / Project Introduction

      Overview

      Funding Date

      June 18, 2021

      Financing amount

      $5.3M

      Valuation

      --

      Subcategory

      Security Tooling

      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

      InvestorsTypeLocationYear Founded#Portfolio CompaniesEmail AddressSocials
      FundHong Kong2017102hello@iosg.vc
      FundUnited States of America201887hello@borderlesscapital.io
      FundChina2015103contact@fenbushi.vc
      FundNetherlands201561joost@maven11.com
      CorporateRomania20173--
      FundUnited States of America202078--
      Foundation--201711--
      FundUnited States of America201812info@wavegp.com

      Founders & Team

      Grigore Roșu's Logo

      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.

      View More
      *Fundraising Announcement: Click here