/

Companies / Runtime Verification

Runtime Verification

Illinois, United States

Runtime Verification provides high-assurance cybersecurity consulting for critical systems.

Runtime Verification, based in Illinois, United States, has 2 investors on file, among them Borderless Capital and Fenbushi Capital. Its site was last checked 6 Nov 2026: site answers.

Investors

2 investors on file
InvestorEvidenceType
Borderless CapitalPortfolio pageVenture capital
Fenbushi CapitalPortfolio pageVenture capital

More from Borderless Capital

108 companies on its checked portfolio

Its portfolio leans to Fintech (42%), AI & Machine Learning (18%), Crypto & Web3 (10%).

See Borderless Capital's full profile · Who invests alongside it

More from Fenbushi Capital

79 companies on its checked portfolio

Its portfolio leans to Fintech (51%), AI & Machine Learning (14%), Crypto & Web3 (14%).

See Fenbushi Capital's full profile · Who invests alongside it

A company is shown only after its own site answers and carries its name. Sites are checked again on a schedule, because domains lapse and get bought. Round stages and dates come from Fundup AI; investor links come from portfolio pages and rounds; other facts name their source when you point at them. How we grade the data

Free account · no card

Get Runtime Verification and its investors as data

Look up any company's investors, or any investor's full portfolio, through one API key or MCP. A free account also opens Ask AI searches and alerts when Borderless Capital adds a company.

Work email, sign-in link by email. Already have an account? Log in
  • Ask AI5 plain-English investor searches a day
  • Full listsEvery portfolio row and two-firm overlap
  • API and MCP100 REST or MCP calls a month, one key
  • AlertsFollow 5 investors for portfolio and fund changes
VCinfo API
$ curl -H "X-API-Key: YOUR_KEY" \
  https://api.vcinfo.io/v1/companies/runtimeverification.com/investors

# also
GET /v1/companies/runtimeverification.com
GET /v1/companies/runtimeverification.com/news
The same data as an MCP server for Claude, Cursor and other AI tools. Set up MCP · Docs · Pricing