A formal toolchain for trusted and resilient software
Ended Definitive Contract Awarded Last action
- Contract number
- FA875016C0271
- Awardee
-
Kestrel Institute UEI YJ1MX6KTQYN6
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $995,052
Award facts
- Opportunity
-
- FA875013S0001 Solicitation number
- A formal toolchain for trusted and resilient software Award Notice · Posted Aug 19, 2016
- Contract value 100% obligated
- $995,052.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- NAICS code
- 541712 Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 2 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Palo Alto, CA 94304, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Funding Only Action | $240,000 | |
| Funding Only Action | $50,000 | |
| Funding Only Action | $44,000 | |
| Funding Only Action | $64,000 | |
| Funding Only Action | $47,000 | |
| Supplemental Agreement for work within scope | $196,141 | |
| Funding Only Action | $43,859 | |
| Supplemental Agreement for work within scope | $40,000 | |
| Funding Only Action | $80,000 | |
| Funding Only Action | $115,000 | |
| Original award | $75,052 |
Show all 11
About this award
Kestrel Institute was awarded a $995,052 cost-plus-fixed-fee definitive contract by the Department of the Air Force Materiel Command Research Laboratory to deliver a formal toolchain for trusted and resilient software. Performance will occur in Palo Alto, California through October 2018. The Research Laboratory supports the Air Force's efforts to ensure mission assurance through analyzable, trustworthy systems, and this contract responds to those needs by providing a framework for developing certifiably correct and secure code. No set-aside designation was specified.
Quick answers
Who was awarded contract FA875016C0271?
FA875016C0271 was awarded to Kestrel Institute by Air Force Research Laboratory (Air Force Materiel Command) on August 18, 2016.
How much is contract FA875016C0271 worth?
The government has obligated $995,052 on FA875016C0271.
Was contract FA875016C0271 competed?
The extent of competition for FA875016C0271 was full and open competition. The government received 2 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award