1. <small id="jeg3a"><menu id="jeg3a"></menu></small>
      <mark id="jeg3a"></mark>
        <label id="jeg3a"></label>
      1. <tt id="jeg3a"><button id="jeg3a"></button></tt>
        <tt id="jeg3a"><ruby id="jeg3a"></ruby></tt>
          <small id="jeg3a"><strong id="jeg3a"></strong></small>
          <tt id="jeg3a"><ol id="jeg3a"><source id="jeg3a"></source></ol></tt>

          <listing id="jeg3a"></listing>

          <listing id="jeg3a"><cite id="jeg3a"></cite></listing>
          <label id="jeg3a"></label>
          Skip to main content
          U.S. flag

          An official website of the United States government

          Dot gov

          The .gov means it’s official.
          Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

          Https

          The site is secure.
          The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

          Software and Systems Division

          We work with industry, academia and other government agencies to accelerate the development and adoption of correct, reliable, testable software, leading to increased trust and confidence in deployed software.

          The Software and Systems Division (SSD) is one of seven technical divisions in the Information Technology Laboratory at the National Institute of Standards and Technology. We work with industry, academia and other government agencies to accelerate the development and adoption of correct, reliable and testable software. This collaborative effort leads to increased trust and confidence in deployed software and methods to develop better standards and testing tools.

          SSD focuses on advances in state-of-the-art software testing by developing scientifically rigorous and innovative techniques for software testing. Finally, we facilitate the transfer of applications and technologies into national infrastructures and commercial sectors.?

          Projects

          ?

          Software

          UNRAVEL

          Computer Aided Software Engineering (CASE) tool, unravel. This tool can assist evaluation of high integrity software by using program slices to extract

          Awards

          Contacts

          秋霞理论在一l级