Runtime Verification Inc

Company Information
Address IL
Champaign, IL, 61822-7460

http://www.runtimeverification.com

Information

DUNS: 833206795

# of Employees: 4


Ownership Information

HUBZone Owned: N

Socially and Economically Disadvantaged: N

Woman Owned: N



Award Charts




Award Listing

  1. SBIR Phase II: RV-Embedded: Runtime Verification for Embedded Systems

    Amount: $750,000.00

    The broader impact/commercial potential of this Small Business Innovation Research (SBIR) Phase II project is that the proposed runtime verification technology will lead to a more robust definition of ...

    SBIRPhase II2017National Science Foundation
  2. 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 ...

    SBIRPhase I2015National Science Foundation
  3. A Scalable Semantics-Based Verification System for Flight Critical Software

    Amount: $875,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 ...

    SBIRPhase II2014National Aeronautics and Space Administration
  4. 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 ...

    SBIRPhase I2013National Aeronautics and Space Administration
  5. 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 ...

    SBIRPhase I2010National Aeronautics and Space Administration

Agency Micro-sites

US Flag An Official Website of the United States Government