Finding Confidence and Meaning in Verification.
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:
- NA0003525
- OSTI ID:
- 2002028
- Report Number(s):
- SAND2022-3054C; 704173
- Country of Publication:
- United States
- Language:
- English
Similar Records
The Future of Nuclear Arms Control Verification: Generating Confidence in Warhead Accounting.
Ensuring completeness of formal verification with Gap Free Verification.
Ensuring completeness of formal verification with Gap Free Verification.
Conference
·
Wed Oct 01 00:00:00 EDT 2014
·
OSTI ID:1242110
Ensuring completeness of formal verification with Gap Free Verification.
Conference
·
Thu Oct 01 00:00:00 EDT 2020
·
OSTI ID:1825972
Ensuring completeness of formal verification with Gap Free Verification.
Conference
·
Sat May 01 00:00:00 EDT 2021
·
OSTI ID:1869536