Runtime Verification

Tool for bug tracking and management

placeUrbana, Illinois, United States calendar_todayFounded 2009 groups1 employees language runtimeverification.com

Innovation

3 patent families (2 granted) — focus: Physics & computing, Electricity & electronics; filing pace slowing. Cited 37 times.

YearFilings
20171
20182
20191
20211

Social engagement

Social engagement: 1.3K social following, 7 posts in the last 12 months — below the industry typical range.

Investor mix

10 investors on record; lead investors include IOSG Ventures.

Investor typeCountShare
Venture capital660%
Other / undisclosed440%

Recent activity

22 Jun 2026
Event
The Real World AI Security Conference 2026
Coming soon