SBIR/STTR Research Award
Cyber Vulnerability ANalysis and COmprehensive Formal Verification (VAN-COV) Tool Suite for Software Systems
Award amount
$139,979Program and phase
SBIR · Phase IAward year
2021Award details
- Awarding agency
- Department of Defense
- Branch
- Navy
- Recipient company
- TRUSTED SCIENCE AND TECHNOLOGY, INC.
- Proposal award date
- 2021-06-07
- Contract end date
- 2021-12-07
- UEI
- DWYDDUG3N571
- Solicitation number
- 21.1
- Topic code
- N211-083
Research abstract
software test and verification, software test and verification, 5G communication, Formal Verification, Software Defined Network
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.
- Assured, Resilient Containerization and Orchestration Solution (ARCOS)
- Cyber Vulnerability Assessment via Semantic Reasoning and Tiered Visualization (CELESTE)
- MicroSentry: High Assurance Secure Computing Solution with Aberdeen Architecture
- Assured Robotics Embedded Systems and Applications in Ground Vehicles (ARSENAL)
- Portable Analytics for Automated Reconstruction and Investigation of Multi-Stage Cyber Attacks (PANORAMA)
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- 5STARS Boost: Refining 5STARS Network Verification Technology for Transition
- 5G SDN Tools for Automated and Reliable Security (5STARS)
- SDN Verification Tool Suite (SDNvTS)
- 5STARS: 5G SDN Tools for Automated and Reliable Security
- DATAMASON: an Automated Software Defined Network Analysis System
Research funding history
23 SBIR/STTR records share this UEI (2019–2025). Reported award amounts total $20,562,970. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, Department of Homeland Security