Symlang: an invariant driven approach to software via symmetries
Awarded Award Notice Posted
- Solicitation number
- FA875020C0520
- Agency
- Air Force Research Laboratory Air Force Materiel Command, Department of Defense
- Awarded
- to Apogee Research LLC
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- FA875020C0520 Federal contract award
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- PSC
- Not on record
Notice details come from SAM.gov. Updated .
About this opportunity
This Award Notice from the Department of the Air Force Materiel Command Research Laboratory announces a contract award to Apogee Research, LLC for $13,398,315 to develop an invariant driven approach to software via symmetries under the SYMLANG program. The contract aims to establish a methodology for developing software systems that are provably correct by construction through the application of mathematical symmetries.
Notice text
Awarded contract FA875020C0520 to APOGEE RESEARCH, LLC for 13398315.00 on 2020-06-26.
On GovTribe
Work this opportunity on GovTribe
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity