Runtime Verification Inc.
Moab, UT
- UEI
- FFVYL2M1N826
- CAGE
- 5VA10
- Primary NAICS
- 541511 Custom Computer Programming Services
- SAM.gov registration
- Active through
Company facts
- Self-certified in SAM.gov
- Entity structure
- Corporate Entity (Not Tax Exempt)
- NAICS codes registered in SAM.gov
-
- 541511 Custom Computer Programming Services Primary
- 541330 Engineering Services
- 541512 Computer Systems Design Services
- 541519 Other Computer Related Services
- 541690 Other Scientific and Technical Consulting Services
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- SAM.gov registration date
- Physical address
- 2770 E Spanish Trail Rd, Moab, UT 84532, USA
- Website
- runtimeverification.com
- Founded
- 2010
- Employees
- 11-50
- Estimated annual revenue
- $1M-$10M
- Industry
-
- Information Technology
- Software & Services
- Internet Software & Services
- SIC code
- 73 Business Services
- Profiles
Registration and certifications come from SAM.gov and the SBA; company details from public web sources. Updated .
Recent federal awards
| Award | Agency | Obligated | Awarded |
|---|---|---|---|
| A semantics-based verification toolset for UAS embedded software | Shared Services Center | $749,847 | |
| A semantics-based verification toolset for UAS embedded software | Shared Services Center | $124,942 | |
| Finalize an RV-match tool capable of detecting undefined behaviors in c and c++ applications. This means completing… | Shared Services Center | $474,993 | |
| Sbir phase II: RV-embedded: runtime verification for embedded systems | Division of Industrial Innovation | $1,399,996 | |
| Sbir phase i: runtime verification for automobiles | National Science Foundation | $179,999 |
Quick answers
What is Runtime Verification Inc.'s UEI?
Runtime Verification Inc.'s Unique Entity ID (UEI) in SAM.gov is FFVYL2M1N826.
What is Runtime Verification Inc.'s CAGE code?
Runtime Verification Inc.'s CAGE code is 5VA10.
What is Runtime Verification Inc.'s primary NAICS code?
Runtime Verification Inc.'s primary NAICS code is 541511 (Custom Computer Programming Services).
Where is Runtime Verification Inc. located?
Runtime Verification Inc.'s physical address in SAM.gov is 2770 E Spanish Trail Rd, Moab, UT 84532, USA.
Is Runtime Verification Inc. registered in SAM.gov?
Yes. Runtime Verification Inc.'s SAM.gov registration is active through July 9, 2027.
What is Runtime Verification Inc.'s most recent federal award?
Runtime Verification Inc.'s most recent federal contract award is A semantics-based verification toolset for UAS embedded software (80NSSC21C0475), from Shared Services Center, on August 3, 2021.
On GovTribe
See Runtime Verification Inc.'s full federal record
- Federal contract awards
- Federal grant awards
- Funding analysis by agency, NAICS and set-aside
- Similar vendors