A practical verifier for multithreaded C11 code
Ended Cooperative Agreement Awarded Last action
- Award ID
- 70NANB15H298N
- Recipient
-
Galois, Inc. UEI MKT6C6U2BRM4
- Awarding agency
-
National Institute of Standards and Technology
Department of Commerce
- Obligated
- $99,910
Award facts
- Assistance listing
- 11.620 Science, Technology, Business and/or Education Outreach
- Completion date
- Place of performance
- Portland, OR 97204, USA
Award details come from USAspending.gov.
Quick answers
Who received award 70NANB15H298N?
70NANB15H298N was awarded to Galois, Inc. by National Institute of Standards and Technology (Department of Commerce) on November 1, 2015.
How much is award 70NANB15H298N worth?
$99,910 has been obligated on 70NANB15H298N.
On GovTribe
See this award's full record
- Every transaction and subaward
- The recipient's other awards and teaming partners
- Similar grant awards
- Ask GovTribe AI about this award