Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| A SEMANTICS-BASED VERIFICATION TOOLSET FOR UAS EMBEDDED SOFTWARE | National Aeronautics and Space Administration | $750K |
Is this your company?
Claim RUNTIME VERIFICATION INC to unlock the federal & state contracts GovIntel's AI has matched to you right now — plus your own scored past-performance, who you're up against, and who's risky to team with.
Claim RUNTIME VERIFICATION INC & see your matchesFree to claim. Takes about a minute.
Data compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate, or want this page removed? Request a correction or removal.