An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
In preparation for SATE VI, we present our current thoughts on the Ockham Sound Analysis Criteria track. First, we explain the purpose of the Ockham track and define some terms, such as "sound", "finding", and "site". Then we present the general flow for checking that a tool satisfies the SATE VI Ockham Criteria. Next we discuss test suites from which tool makers may choose. Finally we sketch a tentative timeline.
Black, P.
(2017),
SATE VI Ockham Sound Analysis Criteria, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923651
(Accessed June 1, 2023)