Software Model Checking with Uninterpreted Functions.
Conference
·
OSTI ID:1836885
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:
- NA0003525
- OSTI ID:
- 1836885
- Report Number(s):
- SAND2020-13962PE; 692921
- Resource Relation:
- Conference: Proposed for presentation at the Denis Bueno's PhD Oral Defense held December 9, 2020 in Online, N/A.
- Country of Publication:
- United States
- Language:
- English
Similar Records
EUForia: Complete Software Model Checking with Uninterpreted Functions.
Trade-offs in Encoding for Software Model Checking.
Software Model Checking with Uninterpreted Functions.
Conference
·
Tue Jan 01 00:00:00 EST 2019
·
OSTI ID:1836885
Trade-offs in Encoding for Software Model Checking.
Conference
·
Mon Jan 01 00:00:00 EST 2018
·
OSTI ID:1836885
Software Model Checking with Uninterpreted Functions.
Thesis/Dissertation
·
Mon Feb 01 00:00:00 EST 2021
·
OSTI ID:1836885