Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

Source Code Assurance Tool: LDRD Final Report

Technical Report ·
DOI:https://doi.org/10.2172/789518· OSTI ID:789518

This report provides a summary of the work completed in the Source Code Assurance Tool project. This work was done as part of the Laboratory Directed Research and Development program.

Research Organization:
Sandia National Labs., Albuquerque, NM (US); Sandia National Labs., Livermore, CA (US)
Sponsoring Organization:
US Department of Energy (US)
DOE Contract Number:
AC04-94AL85000
OSTI ID:
789518
Report Number(s):
SAND2001-3091
Country of Publication:
United States
Language:
English

Similar Records

Source Code Assurance Tool: Preliminary Functional Description
Technical Report · Wed Oct 31 23:00:00 EST 2001 · OSTI ID:789519

Source Code Assurance Tool: An Implementation
Technical Report · Wed Oct 31 23:00:00 EST 2001 · OSTI ID:789523

Final report on LDRD project: Simulation/optimization tools for system variability analysis
Technical Report · Fri Oct 01 00:00:00 EDT 1999 · OSTI ID:751050