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.

PUBLICATIONS

Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design

Published

Author(s)

James R. Lyle, D Wallace, J R. Graham, K Gallagher, Joseph P. Poole, D W. Binkley
Citation
NIST Interagency/Internal Report (NISTIR) - 5691
Report Number
5691
NIST Pub Series
NIST Interagency/Internal Report (NISTIR)
Pub Type
NIST Pubs
Information technology and Software testing

Citation

Lyle, J. , Wallace, D. , Graham, J. , Gallagher, K. , Poole, J. and Binkley, D. (1995), Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD (Accessed October 7, 2024)

Issues

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

Created August 1, 1995, Updated February 19, 2017