Third-Party Verification of COTS Software Compliance with Requirements
Award amount
$224,872Program and phase
SBIR · Phase IAward year
2021Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- BLUERISC INC
- Proposal award date
- 2021-07-13
- Contract end date
- 2022-10-03
- UEI
- LVWLKDJURJL1
- Solicitation number
- HR001121S0007.I
- Topic code
- HR001121S0007-08
Research abstract
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Large Language Models for System Security Engineering Analysis
- Navigation Warfare Situational Awareness with AI/ML
- Asymmetric LLM-aided Cyber Effects
- Navigation Warfare Situational Awareness with AI/ML
- Novel Processor Architectures for Probabilistic Computing in Survivability Controllers
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Third-Party Verification of COTS Software Compliance with Requirements
- Generating Requirements Evidence with Analysis and System-level Enforcement (GREASE)
- Binary Assurance Through Proofs Of Properties
- Third Party Verification of COTS Compliance with Requirements (VeriCoR)
- Medical Device Verification Using Model-Based Testing
Research funding history
60 SBIR/STTR records share this UEI (2003–2025). Reported award amounts total $29,565,062. Reported amounts are not federal obligations.
Phases: Phase I, Phase II
Agencies: Department of Defense, Department of Homeland Security, National Science Foundation, Department of Energy