The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until September, 2020.
SBC: The Formula Factory Topic: 9030177R
Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...SBIR Phase I 2015 Department of CommerceNational Institute of Standards and Technology
SBC: MANAGEMENT SCIENCES INC Topic: 9010173R
During Phase I, Management Sciences, Inc. (MSI) proved feasibility of adapting their current technology into a product capable of improving performance resulting in increased efficiency and extended life cycles of heat pumps. The resultant product is a tool named the Heat Pump Sentient (HP-Sentient). The HP-Sentient will improve performance and reduce maintenance costs through aggressive goal-seek ...SBIR Phase II 2015 Department of CommerceNational Institute of Standards and Technology