Runtime Verification Inc

102 E. Main Street Suite 207
Urbana, IL 61801

SBIR Award Summary

Total Number of Awards 5
Total Value of Awards $1.87MM
Active Awards 1 valued at $750K
First Award Date 01/01/10
Most Recent Award Date 03/15/17

Key Personnel

Last Name Name Awards Contact
Meredith Patrick O. Meredith 4 Message
Guth Dwight Guth 3 Message
Rosu Grigore Rosu 2 Message

5 Awards Won

Phase 2 SBIR Active

Agency: National Science Foundation
Topic: IC
Budget: 03/15/17 - 02/28/19

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 and architecture for ensuring safety in automobiles, medical devices, and aerospace and defense systems. Through this, these forms of safety-criti...

Phase 1 SBIR

Agency: National Science Foundation
Topic: IC
Budget: 07/01/15 - 06/30/16

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 powering automobiles, by enabling runtime monitoring while providing the maximum possible correctness guarantees for the generated monitors. Cars will...

Phase 2 SBIR

Agency: National Aeronautics and Space Administration
Topic: 12-2-A1.06
Budget: 01/01/14 - 12/31/14

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 flight-critical software, limiting any failure of ...

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 12-1-A1.06
Budget: 01/01/13 - 12/31/13

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 completely ensure the safety of flight critical sys...

Phase 1 SBIR

Agency: National Aeronautics and Space Administration
Topic: 10-1-X1
Budget: 01/01/10 - 12/31/10

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 has the ability to extrapolate all feasible prog...