Skip to main content
TeamingIndex
Unclaimed profileSeeded from SAM.gov and USAspending public records
Claim this profileCapability statement (.md)

RUNTIME VERIFICATION INC

  • MOAB, UT 84532-3616
  • Corporate Entity (Not Tax Exempt)
UEIFFVYL2M1N826CAGE5VA10NAICS541511
  • SAM active
  • No verified credentials yet
  • CMMCNot on file
  • SPRSNone
  • FCLVisible to paid members
  • Small Business

Registration and small-business types: SAM.gov, synced Nov 9, 2026. Compliance: self-attested by the company unless marked verified. The SPRS chip shows a range, never the exact score. How verification works

36-mo obligations
$749.8K
Awards on record
1
Contract vehicles
0
Verified credentials
0

Compliance posture: unverified (SAM.gov baseline only)

RUNTIME VERIFICATION INC has not claimed this profile. What you see comes from public SAM.gov and USAspending records; no one from the company has confirmed CMMC, SPRS or clearance details yet. Learn more about CMMC 2.0

Claim this profile

About RUNTIME VERIFICATION INC

RUNTIME VERIFICATION INC is a SAM.gov-registered entity based in MOAB, UT 84532-3616. UEI FFVYL2M1N826; CAGE 5VA10; primary NAICS 541511. Compliance posture not provided. Active SAM registration.
Headquarters
MOAB, UT 84532-3616

Identifiers

UEI and CAGE come from SAM.gov. Other identifiers are listed by the company.

  • UEIFFVYL2M1N826
  • CAGE5VA10

Capabilities & differentiators

No capability narrative yet

The company has not published a capability narrative. Its SAM.gov registration, NAICS codes and award history are below.
Is this your company? Claim it

Compliance posture

Every credential shows who vouches for it: verified by TeamingIndex, or self-attested by the contractor.

No compliance posture published yet

Compliance facts appear once the company claims this profile and publishes them.
Is this your company? Claim it

Facility clearance

Facility clearance: visible to paid members

Clearance levels are shown only to paying members; TeamingIndex does not advertise clearances (NISPOM 32 CFR 117.9). Learn more about facility clearances · Compare plans

Past performance

Recompete RadarLearn more about past performance
Prime awards from USAspending.gov (FPDS), synced nightly. Recompete windows use the potential end date (base plus all options).
36-month obligations
$749.8K
Awards on record
1
Top funding agencies
National Aeronautics and Space Administration

Awards

  • 80NSSC21C0475

    Completed: Period of performance ended Aug 5, 2024

    A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE

    National Aeronautics and Space Administration

    Obligated
    $749.8K
    Period of performance
    Aug 3, 2021 – Aug 5, 2024

Contract vehicles

Learn more about GWACs, IDIQs and contract vehicles

No contract vehicles on file

This company has not listed GWAC, IDIQ, GSA Schedule or OTA consortium holdings.
Browse vehicle holders

Proven teaming graph

Learn more about sub-award reporting (FSRS)
Who RUNTIME VERIFICATION INC has actually worked with, from sub-awards that prime contractors report to the government. Use it to see which primes already trust this company.

No sub-award reports yet

Prime contractors report first-tier subcontracts of $30,000 or more. None name this company yet, which is common for companies that mostly win prime contracts or work below the reporting threshold.
See where agencies spend

Source: USAspending.gov sub-award reports (FSRS) (opens in a new tab) · sync date not recorded · Prime contractors report first-tier subcontracts of $30,000 or more. Amounts are reported sub-award values.

SBIR/STTR portfolio

Learn more about SBIR/STTR Phase IIIAbout SBIR/STTR (opens in a new tab)
Small Business Innovation Research and Technology Transfer awards: early-stage federal R&D money this company has won.

SBIR/STTR awardee — Phase III-eligible for work derived from its SBIR/STTR projects

Agencies may award follow-on Phase III work without a new competition when it builds on this company’s earlier SBIR/STTR projects. Other work is competed as usual.

Awards on record
7 awards
Total awarded
$2,871,189
By phase
  • SBIR Phase I: 4
  • SBIR Phase II: 3
By agency
  • National Aeronautics and Space Administration: 5
  • National Science Foundation: 2
Active projects
0 projects
Projects whose contract end date is today or later.
Phase II ending within 12 months
0 projects
Phase II projects ending within 12 months. Agencies may award Phase III work without a new competition only when it derives from, extends or completes these projects.
By year
  • 2021: 1
  • 2020: 1
  • 2017: 1
  • 2015: 1
  • 2014: 1
  • 2013: 1
  • 2010: 1

Awards (most recent first)

  • A Semantics-Based Verification Toolset for UAS Embedded Software

    SBIR Phase II · National Aeronautics and Space Administration · 2021 · $749,847

    Aug 3, 2021 – Aug 2, 2023

    Solicitation SBIR_20_P2 (2020) · Topic A2

  • A Semantics-Based Verification Toolset for UAS Embedded Software

    SBIR Phase I · National Aeronautics and Space Administration · 2020 · $124,942

    Aug 28, 2020 – Mar 1, 2021

    Solicitation SBIR_20_P1 (2020) · Topic A2

  • SBIR Phase II: RV-Embedded: Runtime Verification for Embedded Systems

    SBIR Phase II · National Science Foundation · 2017 · $750,000

    Mar 15, 2017 – Feb 28, 2019

    Solicitation year 2014 · Topic IC

  • SBIR Phase I: Runtime Verification for Automobiles

    SBIR Phase I · National Science Foundation · 2015 · $150,000

    Jul 1, 2015 – Jun 30, 2016

    Solicitation year 2015 · Topic IC

  • A Scalable Semantics-Based Verification System for Flight Critical Software

    SBIR Phase II · National Aeronautics and Space Administration · 2014 · $875,000

    Apr 30, 2014 – May 19, 2017

    Solicitation year 2012 · Topic A1.06 · Research partner: Stub

  • A Scalable Semantics-Based Verification System for Flight Critical Software

    SBIR Phase I · National Aeronautics and Space Administration · 2013 · $124,400

    May 23, 2013 – Nov 23, 2013

    Solicitation year 2012 · Topic A1.06 · Research partner: Stub

  • A Runtime Verification System for Developing, Analyzing and Controlling Complex Safety-Critical Software

    SBIR Phase I · National Aeronautics and Space Administration · 2010 · $97,000

    Jan 29, 2010 – Jul 29, 2010

    Solicitation year 2009 · Topic X1.02

Source: SBIR.gov award data file (opens in a new tab) · as of Nov 12, 2026 · file published Nov 1, 2026

FedRAMP offerings

Learn more about the FedRAMP Marketplace
Cloud services this company lists on the FedRAMP Marketplace, the government's record of cloud authorizations.

No FedRAMP Marketplace listing

No FedRAMP Marketplace listing is linked to this company. Cloud providers appear here automatically once FedRAMP lists their offering.
Find FedRAMP-authorized companies

Source: FedRAMP Marketplace (opens in a new tab) · sync date not recorded

Exclusions & screening

Exclusions about SAM.gov exclusionsScreening list about the Consolidated Screening List
Checks a prime runs before teaming: SAM.gov exclusions (debarment and suspension) and the government's Consolidated Screening List for export and sanctions lists.

SAM.gov exclusions

Not yet checked against SAM.gov exclusions.

Search exclusions on SAM.gov (opens in a new tab)

Agencies generally may not award to excluded parties, and primes may not subcontract with them above the threshold in FAR 52.209-6 (except COTS items) without a compelling reason reported to the contracting officer (FAR 9.405, 9.405-2). Some exclusion types apply only to specific programs: read the record on SAM.gov.

Source: SAM.gov Exclusions (opens in a new tab) · sync date not recorded

Consolidated Screening List

No confirmed match on the Consolidated Screening List (screened Nov 13, 2026).

The list combines Commerce, State and Treasury export-control and sanctions lists. A “no match” result is a name-and-address screen, not an export-compliance determination.

Source: ITA Consolidated Screening List (opens in a new tab) · as of Nov 13, 2026

GSA CALC+ rate benchmark

Learn more about GSA CALC+ labor rates
Hourly ceiling rates this company was awarded on GSA contracts, compared with the market for similar labor categories. Ceiling rates are the most an agency can be charged, not prices paid.

No GSA CALC+ rates on record

Companies with a GSA Multiple Award Schedule contract appear here after CALC+ publishes their awarded labor rates.
See GSA MAS holders

Source: GSA CALC+ awarded ceiling rates (opens in a new tab) · sync date not recorded

NAICS, PSC & socio-economic status

Learn more about NAICS size standards
Industry codes and small-business programs reported in SAM.gov.

NAICS codes

  • 541511Custom Computer Programming ServicesPrimarySmall business under this code’s size standard
  • 541330Engineering Services
  • 541512Computer Systems Design ServicesSmall business under this code’s size standard
  • 541519Other Computer Related Services
  • 541690Other Scientific and Technical Consulting ServicesSmall business under this code’s size standard
  • 541715Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

SAM.gov reports this entity as small under 3 of 6 NAICS codes. Size is determined per code (SBA size standards).

Socio-economic status

Learn more about small business set-asides

Product & service codes (PSC)

  • AJ12GENERAL SCIENCE AND TECHNOLOGY R&D SERVICES; GENERAL SCIENCE AND TECHNOLOGY; APPLIED RESEARCH
  • AJ13GENERAL SCIENCE & TECHNOLOGY R&D SVCS; GENERAL SCIENCE & TECHNOLOGY; EXPERIMENTAL DEVELOPMENT
  • R425SUPPORT- PROFESSIONAL: ENGINEERING/TECHNICAL

PSC names from the Acquisition.gov PSC Manual (opens in a new tab) (April 2025 edition), checked Nov 12, 2026.

Teaming preferences

Learn more about teaming agreements and joint ventures

This company has not published teaming preferences.

SAM.gov teaming eligibility: Eligible to be proposed as a team member: active SAM.gov registration and no exclusion.

Business development contact

No BD contact published

Contact details appear once the company claims this profile.
Is this your company? Claim it

Corporate hierarchy

Affiliation & size about affiliation and size
Immediate parent and highest-level owner as reported in SAM.gov.

No parent entity reported in SAM.gov.

SBA counts affiliates when it determines whether a business is small (13 CFR 121.103), so a parent’s size can matter for set-aside work.

Data sources & provenance

Who stands behind each fact on this page, and how to correct it.

  • SAM.gov

    Registration, CAGE, NAICS, socio-economic status, corporate hierarchy and exclusions. Last synced Nov 9, 2026.

  • USAspending.gov

    Prime award history and obligations (FPDS), synced nightly.

  • The contractor

    Nothing yet: this profile has not been claimed by the company.

  • TeamingIndex verification

    Credentials marked Verified were checked by a TeamingIndex reviewer; everything else is self-attested.

Corrections

Corrections to SAM.gov data must be made in SAM.gov; TeamingIndex picks them up on the next nightly sync. Go to SAM.gov (opens in a new tab)

Machine-readable: capability.md schema.org JSON-LD embedded in this page.

Zero CUI: TeamingIndex stores verification metadata only, never System Security Plans, POA&Ms or DD Form 254s.

Teaming

Ready to team with RUNTIME VERIFICATION INC?

Send an introduction and propose a mutual NDA. Their team is notified right away, and you can share the capability statement with your capture team.

Claim this profileCapability statement (.md)