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: VulcanCraft Topic: N/A
A smart machine tool must be able to monitor its condition and report problems. Every CNC machine should provide an alarm for tool condition problems, including tool wear, much as every automobile has a low oil indicator. Tool wear is particularly important for unattended machining as a worn tool can ruin a part. All current tool condition systems operate "blind" without direct information on curr ...SBIR Phase I 2003 Department of CommerceNational Institute of Standards and Technology