Skip to main content
U.S. flag

An official website of the United States government

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.

Using Model Checking to Generate Tests from Specifications



P E. Ammann, Paul E. Black, William J. Majurski
NIST Interagency/Internal Report (NISTIR) - 6166
Report Number


Ammann, P. , Black, P. and Majurski, W. (1998), Using Model Checking to Generate Tests from Specifications, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD (Accessed December 4, 2023)
Created October 31, 1998, Updated October 12, 2021