Runtime Verification Inc

Basic Information

IL
Champaign, IL, 61822-7460

http://www.runtimeverification.com

Company Profile

n/a

Additional Details

Field Value
DUNS: 833206795
Hubzone Owned: N
Socially and Economically Disadvantaged: N
Woman Owned: N
Number of Employees: 4


  1. SBIR Phase I: Runtime Verification for Automobiles

    Amount: $150,000.00

    The broader impact/commercial potential of this Small Business Innovation Research (SBIR) Phase I project is that it will offer the automotive industry higher reliability from the software systems pow ...

    SBIR Phase I 2015 National Science Foundation
  2. 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 sca ...

    SBIR Phase II 2014 National Aeronautics and Space Administration
  3. 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
  4. 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

Agency Micro-sites

US Flag An Official Website of the United States Government