{
  "_schema": "https://data.nist.gov/od/dm/nerdm-schema/v0.7#",
  "@context": [
    "https://data.nist.gov/od/dm/nerdm-pub-context.jsonld",
    {
      "@base": "ark:/88434/mds2-2187"
    }
  ],
  "@type": [
    "nrdp:DataPublication",
    "nrdp:PublicDataResource",
    "dcat:Dataset"
  ],
  "_extensionSchemas": [
    "https://data.nist.gov/od/dm/nerdm-schema/pub/v0.7#/definitions/PublicDataResource"
  ],
  "@id": "ark:/88434/mds2-2187",
  "title": "SATE VI Ockham Sound Analysis Criteria data and programs (2020)",
  "contactPoint": {
    "fn": "Vadim Okun",
    "hasEmail": "mailto:vadim.okun@nist.gov"
  },
  "modified": "2020-02-27 00:00:00",
  "ediid": "ark:/88434/mds2-2187",
  "landingPage": "https://data.nist.gov/od/id/mds2-2187",
  "description": [
    "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria.  The Criteria recognizes static analyzers whose findings are always correct."
  ],
  "keyword": [
    "Ockham criteria",
    "sound static analysis tool exposition",
    "software assurance"
  ],
  "theme": [
    "Metrology: Metric",
    "Information Technology: Software research",
    "Information Technology: Conformance testing"
  ],
  "topic": [
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Metrology: Metric"
    },
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Information Technology: Software research"
    },
    {
      "@type": "Concept",
      "scheme": "https://data.nist.gov/od/dm/nist-themes/v1.1",
      "tag": "Information Technology: Conformance testing"
    }
  ],
  "references": [
    {
      "@type": [
        "npg:Article"
      ],
      "@id": "#ref:10.6028/NIST.IR.8304",
      "refType": "IsCitedBy",
      "location": "https://doi.org/10.6028/NIST.IR.8304",
      "_extensionSchemas": [
        "https://data.nist.gov/od/dm/nerdm-schema/bib/v0.7#/definitions/DCiteReference"
      ],
      "title": "SATE VI Ockham Sound Analysis Criteria",
      "issued": "2020-05-19",
      "citation": "Black, P. E., & Walia, K. S. (2020). SATE VI Ockham Sound Analysis Criteria. doi:10.6028/nist.ir.8304\n"
    }
  ],
  "accessLevel": "public",
  "license": "https://www.nist.gov/open/license",
  "components": [
    {
      "accessURL": "https://doi.org/10.18434/M32187",
      "title": "DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020)",
      "@type": [
        "nrd:Hidden",
        "dcat:Distribution"
      ],
      "@id": "#doi:10.18434/M32187"
    },
    {
      "@id": "cmps/ockhamCriteriaSATEVIdata2020.tar.xz",
      "@type": [
        "nrdp:DataFile",
        "nrdp:DownloadableFile",
        "dcat:Distribution"
      ],
      "_extensionSchemas": [
        "https://data.nist.gov/od/dm/nerdm-schema/pub/v0.7#/definitions/DataFile"
      ],
      "filepath": "ockhamCriteriaSATEVIdata2020.tar.xz",
      "downloadURL": "https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/ockhamCriteriaSATEVIdata2020.tar.xz",
      "mediaType": "application/x-zip-compressed",
      "format": {
        "description": "xz compressed tar archive"
      },
      "description": "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria.",
      "title": "SATE VI Ockham data and programs"
    },
    {
      "@id": "cmps/README",
      "@type": [
        "nrdp:DataFile",
        "nrdp:DownloadableFile",
        "dcat:Distribution"
      ],
      "_extensionSchemas": [
        "https://data.nist.gov/od/dm/nerdm-schema/pub/v0.7#/definitions/DataFile"
      ],
      "filepath": "README",
      "downloadURL": "https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/README",
      "mediaType": "text/plain",
      "format": {
        "description": "ASCII"
      },
      "description": "Overview of contents",
      "title": "README"
    }
  ],
  "publisher": {
    "name": "National Institute of Standards and Technology",
    "@type": "org:Organization"
  },
  "language": [
    "en"
  ],
  "bureauCode": [
    "006:55"
  ],
  "programCode": [
    "006:052"
  ],
  "doi": "doi:10.18434/M32187",
  "version": "1.0.1",
  "issued": "2020-07-16T15:48:40",
  "status": "available",
  "_editStatus": "done",
  "releaseHistory": {
    "@id": "ark:/88434/mds2-2187.rel",
    "@type": [
      "nrdr:ReleaseHistory"
    ],
    "hasRelease": [
      {
        "version": "1.0.0",
        "issued": "2020-02-27 00:00:00",
        "@id": "ark:/88434/mds2-2187/pdr:v/1.0.0",
        "location": "https://data.nist.gov/od/id/ark:/88434/mds2-2187/pdr:v/1.0.0",
        "description": "initial release"
      },
      {
        "version": "1.0.1",
        "issued": "2020-02-27 00:00:00",
        "@id": "ark:/88434/mds2-2187/pdr:v/1.0.1",
        "location": "https://data.nist.gov/od/id/ark:/88434/mds2-2187/pdr:v/1.0.1",
        "description": "metadata update"
      }
    ]
  },
  "authors": [
    {
      "familyName": "Black",
      "fn": "Paul E. Black",
      "givenName": "Paul",
      "middleName": "E.",
      "affiliation": [
        {
          "title": "National Institute of Standards and Technology",
          "subunits": [
            "Information Technology Laboratory"
          ],
          "@type": "org:Organization",
          "@id": "ror:05xpvk416"
        }
      ],
      "orcid": "0000-0002-7561-6614",
      "@type": "foaf:Person"
    }
  ],
  "annotated": "2025-01-02T16:24:02.935324"
}