Runtime Verification Inc

Company Information

Company Name
Runtime Verification Inc
Address
IL
Champaign, IL, 61822-7460
Phone
n/a
URL
http://www.runtimeverification.com
DUNS
833206795
Number of Employees
4

Award Totals

PROGRAM/PHASE
AWARD AMOUNT ($)
NUMBER OF AWARDS
SBIR Phase I
$221,400.00
2
SBIR Phase II
$750,000.00
1
Chart code to be here

Award List

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

    Amount: $97,000.00

    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 progra ...

    SBIR Phase I 2010 National Aeronautics and Space Administration
  2. A Scalable Semantics-Based Verification System for Flight Critical Software

    Amount: $124,400.00

    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 i ...

    SBIR Phase I 2013 National Aeronautics and Space Administration
  3. A Scalable Semantics-Based Verification System for Flight Critical Software

    Amount: $750,000.00

    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 scal ...

    SBIR Phase II 2014 National Aeronautics and Space Administration

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government