Source Code Assurance Tool: LDRD Final Report
- Sandia National Laboratories
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
Source Code Assurance Tool: An Implementation
Final report on LDRD project: Simulation/optimization tools for system variability analysis
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