Consistent logical automated reasoning for integrated system software assurance (clarissa)
Awarded Award Notice Posted
- Solicitation number
- FA875020C0512
- Agency
- Air Force Research Laboratory Air Force Materiel Command, Department of Defense
- Awarded
- to Honeywell International Inc.
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- FA875020C0512 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
The Department of the Air Force Materiel Command Research Laboratory awarded a contract valued at $7,770,093.00 to Honeywell International Inc. on March 19, 2020 for the Consistent Logical Automated Reasoning for Integrated System Software Assurance (CLARISSA) opportunity. This contract will provide software assurance services to help verify the correctness, completeness, consistency, and quality of system software through the application of formal methods and automated reasoning techniques.
Notice text
Awarded contract FA875020C0512 to HONEYWELL INTERNATIONAL INC. for 7777093.00 on 2020-03-19.
On GovTribe
Work this opportunity on GovTribe
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity