The Award database is continually updated throughout the year. As a result, data for FY19 is not expected to be complete until June, 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: Lynguent, Inc. Topic: DTRA05001
The objective of this research is to develop beta versions of tools for automatically migrating radiation effects predicted in TCAD level tools to compact modeling tools. This transition will enable compact models that possess radiation effects to be quickly generated, which can then be used in circuit design activity. This approach is a substantial improvement over the current ad hoc approaches. ...SBIR Phase II 2006 Department of DefenseDefense Threat Reduction Agency