USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name:
Runtime Verification Inc
Address:
102 E. Main St Suite 207
Urbana, IL 61801
EIN:
271593403
DUNS:
833206795
Number of Employees:
4
Woman-Owned?:
No
Minority-Owned?:
No
HUBZone-Owned?:
No

Commercialization:

Has been acquired/merged with?:
N/A
Has had Spin-off?:
N/A
Has Had IPO?:
N/A
Year of IPO:
N/A
Has Patents?:
N/A
Number of Patents:
N/A
Total Sales to Date $:
$ 0.00
Total Investment to Date $
$ 0.00
POC Title:
N/A
POC Name:
N/A
POC Phone:
N/A
POC Email:
N/A
Narrative:
N/A

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $221,400.00 2

Award List:

A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software

Award Year / Program / Phase:
2010 / SBIR / Phase I
Award Amount:
$97,000.00
Agency:
NASA
Principal Investigator:
Patrick O. Meredith, Principal Investigator
Abstract:
A comprehensive commercial-grade system for the development of safe parallel and serial programs is developed. The system has the ability to perform efficient parametric runtime verification of programs. This can be used to ensure the safety of mission critical systems at runtime. The system also… More

A Scalable Semantics-Based Verification System for Flight Critical Software

Award Year / Program / Phase:
2013 / SBIR / Phase I
Award Amount:
$124,400.00
Agency:
NASA
Principal Investigator:
Patrick Meredith, Principal Investigator
Abstract:
Modern flight-critical systems include hundreds of thousands to millions of lines of code. The Boeing 777, for instance, includes over 2 million lines of code. Future projects will only feature an increasing amount of source code, mostly written in the C programming language. The only way to… More