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 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

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 March 28, 2024)
Created August 1, 1995, Updated February 19, 2017