Percept: Tools for Verification.
Conference
·
OSTI ID:1117106
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1117106
- Report Number(s):
- SAND2012-4730C; 480752
- Country of Publication:
- United States
- Language:
- English
Similar Records
Feature Coverage Tool/Utility for Code Verification.
Coda: A Verification Tool for Computational Mechanics Codes.
Cybersecurity in DNA Design and Verification Tools: Risks and Solutions.
Conference
·
Sat Jun 01 00:00:00 EDT 2013
·
OSTI ID:1082641
Coda: A Verification Tool for Computational Mechanics Codes.
Conference
·
Tue May 01 00:00:00 EDT 2007
·
OSTI ID:1147917
Cybersecurity in DNA Design and Verification Tools: Risks and Solutions.
Conference
·
Sun Sep 01 00:00:00 EDT 2019
·
OSTI ID:1645972