Verification Toolchain for Floating-Point Programs.
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:
- 2004015
- Report Number(s):
- SAND2022-9448C; 708186
- Country of Publication:
- United States
- Language:
- English
Similar Records
Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.
Spack Configuration Manager: Automating Toolchain Installations.
Benchmark Verification of the Aleph PIC-DSMC Program.
Conference
·
Mon Aug 01 00:00:00 EDT 2022
·
OSTI ID:2004351
Spack Configuration Manager: Automating Toolchain Installations.
Conference
·
Sat May 01 00:00:00 EDT 2021
·
OSTI ID:1870098
Benchmark Verification of the Aleph PIC-DSMC Program.
Conference
·
Mon Nov 30 23:00:00 EST 2020
·
OSTI ID:1834990