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:



Paul E Ammann, Paul E Black, William Majurski
- NIST IR 6166
Report Number
NIST IR 6166


Ammann, P. , Black, P. and Majurski, W. (1998), Using model checking to generate tests from specifications:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], (Accessed May 28, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created January 1, 1998, Updated May 20, 2023