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.

Unravel::a case tool to assist evaluation of high integrity software

Published

Author(s)

James R Lyle, Dolores R Wallace, James R Graham, Keith B Gallagher, Joseph P Poole, David W Binkley
Citation
- NIST IR 5691v1
Report Number
NIST IR 5691v1

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, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.5691v1 (Accessed March 4, 2024)
Created January 1, 1995, Updated May 19, 2023