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.

Abstracting formal specifications to generate software tests via model checking:

Published

Author(s)

Paul E Ammann, Paul E Black
Citation
- NIST IR 6405
Report Number
NIST IR 6405

Citation

Ammann, P. and Black, P. (1999), Abstracting formal specifications to generate software tests via model checking:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.6405 (Accessed May 25, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created January 1, 1999, Updated May 20, 2023