# Runtime Verification Inc.

Canonical: https://abierto.us/vendors/runtime-verification-inc-ffvyl2m1n826

- UEI: FFVYL2M1N826
- CAGE: 5VA10
- Location: Urbana, IL
- Awards in window: 1 (1 transactions), $0 obligated, September 30, 2024 to September 30, 2024

## Awarding agencies

- National Aeronautics and Space Administration: 1 awards, $0

## Industries

- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology): $0

## Competition

- Full and Open Competition After Exclusion of Sources: 1 awards

## Largest awards

- 80NSSC21C0475 (definitive contract): $0, NASA Shared Services Center. A Semantics-Based Verification Toolset for UAS Embedded Software. https://www.usaspending.gov/award/CONT_AWD_80NSSC21C0475_8000_-NONE-_-NONE-/

---
Source: USAspending.gov award data, keyed by UEI. Obligations in the window only. Cite https://abierto.us/vendors/runtime-verification-inc-ffvyl2m1n826.