Software Model Checking with Uninterpreted Functions.
Thesis/Dissertation
·
OSTI ID:1764795
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1764795
- Report Number(s):
- SAND2021-1189T; 693799
- Country of Publication:
- United States
- Language:
- English
Similar Records
EUForia: Complete Software Model Checking with Uninterpreted Functions.
Software Defined Radio for Stepped-Frequency Ground-Penetrating Radar.
Detecting Changes to Logic Configuration with Physical Unclonable Functions in FPGAs.
Conference
·
Tue Jan 01 00:00:00 EST 2019
·
OSTI ID:1764795
Software Defined Radio for Stepped-Frequency Ground-Penetrating Radar.
Thesis/Dissertation
·
Sat Apr 01 00:00:00 EDT 2017
·
OSTI ID:1764795
Detecting Changes to Logic Configuration with Physical Unclonable Functions in FPGAs.
Thesis/Dissertation
·
Wed May 01 00:00:00 EDT 2019
·
OSTI ID:1764795