# Runtime Verification funding: rounds and investors

> Runtime Verification has raised $5.3M across 1 round since 2021. Investors include National Science Foundation, Borderless Capital and Maven 11 Capital.

Source: https://millionrounds.com/company/runtime-verification (Millionrounds; every figure on the page links to its filing or article)

[Series A startup](https://millionrounds.com/companies)

# Who invested in *Runtime Verification*

One round we have observed, with the 3 investors named in it. Every figure came from a named source, and where the company reported a raise to the SEC itself, that is shown beside it.

IT Services

Funding summary Updated 26 Oct 2026

**$5.3M** raised across 1 round since 2021, from 1 source

- **Latest round:** Series A, $5.3M Jun 2021
- **Investors:** 3

See who backed them

## The rounds

- **Jun 2021** Series A **$5.3M** [National Science Foundation](https://millionrounds.com/fund/nsf-small-business-innovation-research-small-business-techno) [Borderless Capital](https://millionrounds.com/fund/borderless-capital) [Maven 11 Capital](https://millionrounds.com/fund/maven-11) Source recorded SEC filing: $5.3M sold, first sale Jun 2021

## Founders and team

From Runtime Verification's own website and the SEC filings it signed: 1 founder, 7 on the team.

**Palina Tolmach** Founder and Scientist

- **Everett Hildenbrandt** COO
- **Paul Len** CTO
- **Guy Repta** Head of Developer Tooling
- **Grigore Rosu** Head of Marketing
- **Andrei Văcaru** Web Dev Manager
- **Burak Yalçınkaya** Research Engineer
- **Yiyi Wang** Research Engineer

On the board, as filed i *Patrick MacKay*

## Everyone who backed them

[National Science Foundation](https://millionrounds.com/fund/nsf-small-business-innovation-research-small-business-techno) Government **1** round

[Borderless Capital](https://millionrounds.com/fund/borderless-capital) Accelerator **1** round

[Maven 11 Capital](https://millionrounds.com/fund/maven-11) VC firm **1** round

Missing a round, or an investor who was in one? [Tell us](https://millionrounds.com/corrections?slug=runtime-verification).

## Also claim to have backed them

This firm lists Runtime Verification as a portfolio company on their own website, but no report of a round names it. They are the firms' own claims, kept apart from the rounds above.

[IOSG Ventures](https://millionrounds.com/fund/iosg-ventures) VC firm Per its own site

## Quick answers about Runtime Verification

### Who invested in Runtime Verification?

Runtime Verification's investors include National Science Foundation, Borderless Capital and Maven 11 Capital.

### How much has Runtime Verification raised?

Runtime Verification has raised $5.3M across 1 round since 2021.

### When did Runtime Verification last raise?

Runtime Verification's most recent round was a Series A of $5.3M in Jun 2021.

### What was Runtime Verification's biggest round?

Its most recent round, $5.3M in Jun 2021, is also its largest on record.

### Who backed Runtime Verification first?

Runtime Verification's first round on record, in Jun 2021, was backed by National Science Foundation, Borderless Capital and Maven 11 Capital.

### What stage is Runtime Verification at?

Runtime Verification's latest named round is a Series A, in Jun 2021.

## Companies like Runtime Verification

In the same sector, and raised in the last eighteen months.

[**Magnar** $8.0M · Sept 2026](https://millionrounds.com/company/magnar)[**Hush Security** $30M · Jul 2026](https://millionrounds.com/company/hush-security)[**Visible Health** $9.7M · Mar 2026](https://millionrounds.com/company/visible-health)[**Namma Yatri** $4.3M · Mar 2026](https://millionrounds.com/company/namma-yatri)[**YanRong Tech** $15M · Mar 2026](https://millionrounds.com/company/yanrong-tech)[**HireBound** $2.0M · Feb 2026](https://millionrounds.com/company/hirebound)

## Find investors like these

Search every investor by what they have actually funded, then narrow to your stage and market. Free.

Open the investor searchOr these rounds in the app