
Cyber Vulnerability ANalysis and COmprehensive Formal Verification (VAN-COV) Tool Suite for Software SystemsAward last edited on: 1/3/2023
Sponsored Program
SBIRAwarding Agency
DOD : NavyTotal Award Amount
$139,979Award Phase
1Solicitation Topic Code
N211-083Principal Investigator
Dave LideCompany Information
Trusted Science and Technology Inc (AKA: Trusted ST~TrustedST)
Location: Single
Congr. District: 08
County: Montgomery
Congr. District: 08
County: Montgomery
Phase I
Contract Number: N68335-21-C-0467Start Date: 6/7/2021 Completed: 12/7/2021
Phase I year
2021Phase I Amount
$139,979Benefit:
Government and commercial organizations will greatly benefit from the VAN-COV workflow, which provides a new modality of formal verification of software and test driven development for assured computing environment which is critical for mission and safety critical applications development. Considering many tactical platforms and assets are equipped with full of software systems/devices for many different purposes (i.e., communication, ISR, weapon control, C2, etc.), the projected military market that the VAN-COV technology can be attractive to build a foundation of high assurance secure and error free software system is enormous.
Keywords:
software test and verification, software test and verification, 5G communication, Formal Verification, Software Defined Network
Phase II
Contract Number: ----------Start Date: 00/00/00 Completed: 00/00/00