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.

Model checkers in software testing:



Paul E Black, Paul Ammann, Wei Ding
- NIST IR 6777
Report Number
NIST IR 6777


Black, P. , Ammann, P. and Ding, W. (2002), Model checkers in software testing:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], (Accessed June 4, 2023)
Created January 1, 2002, Updated May 20, 2023