You are here

Award Data

For best search results, use the search terms first and then apply the filters
Reset

The Award database is continually updated throughout the year. As a result, data for FY20 is not expected to be complete until September, 2021.

  1. Visual Ontological Language for Technical Standards (VOLTS)

    SBC: Aztera, LLC            Topic: 9010273R

    Current research shows that failures in the standardization process are often the result of a failure of the participants to communicate or organize. To this effect, NIST has developed a tool, NIST Ontological Visualization Interface for Standards (NOVIS), with an environment for visualizing, browsing, and querying standards. Aztera will create a Computer Aided Standards Development (CASD) framewo ...

    SBIR Phase I 2015 Department of CommerceNational Oceanic and Atmospheric Administration
  2. A Verifier for Multicore C11 or C++11 Code

    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
US Flag An Official Website of the United States Government