USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name:
Runtime Verification Inc
Address:
IL
Champaign, IL 61822-7460
EIN:
271593403
DUNS:
833206795
Number of Employees:
4
Woman-Owned?:
No
Minority-Owned?:
No
HUBZone-Owned?:
No

Award Totals:

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

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

A Scalable Semantics-Based Verification System for Flight Critical Software

Award Year / Program / Phase:
2014 / SBIR / Phase II
Award Amount:
$750,000.00
Agency:
NASA
Principal Investigator:
Dwight Guth, Principal Investigator
Abstract:
Flight-critical systems rely on an ever increasing amount of software?the Boe- ing 777 contains over 2 million lines of code. Most of this code is written in the C programming language. We need a scalable static formal program verification tool that is able to prove the functional correctness of… More