{"@type": "dcat:Dataset", "accessLevel": "public", "bureauCode": ["006:55"], "contactPoint": {"fn": "Vadim Okun", "hasEmail": "mailto:vadim.okun@nist.gov"}, "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.", "distribution": [{"accessURL": "https://doi.org/10.18434/M32187", "title": "DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020)"}, {"description": "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria.", "downloadURL": "https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/ockhamCriteriaSATEVIdata2020.tar.xz", "format": "xz compressed tar archive", "mediaType": "application/x-zip-compressed", "title": "SATE VI Ockham data and programs"}, {"description": "Overview of contents", "downloadURL": "https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/README", "format": "ASCII", "mediaType": "text/plain", "title": "README"}], "identifier": "ark:/88434/mds2-2187", "issued": "2020-07-16", "keyword": ["Ockham criteria", "software assurance", "sound static analysis tool exposition"], "landingPage": "https://data.nist.gov/od/id/mds2-2187", "language": ["en"], "license": "https://www.nist.gov/open/license", "modified": "2020-02-27 00:00:00", "programCode": ["006:045"], "publisher": {"@type": "org:Organization", "name": "National Institute of Standards and Technology"}, "references": ["https://doi.org/10.6028/NIST.IR.8304"], "theme": ["Information Technology:Conformance testing", "Information Technology:Software research", "Metrology:Metric"], "title": "SATE VI Ockham Sound Analysis Criteria data and programs (2020)"}