Trade-offs in Encoding for Software Model Checking.
Conference
·
OSTI ID:1512059
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:
- 1512059
- Report Number(s):
- SAND2018-0021C; 659716
- Resource Relation:
- Conference: Proposed for presentation at the Nasa Formal Methods held April 17-19, 2018 in Newport News, VA.
- Country of Publication:
- United States
- Language:
- English
Similar Records
EUForia: Complete Software Model Checking with Uninterpreted Functions.
Lines of Code for Software Estimating - Time for a Reality Check.
Improving the NOx-CO2 Trade-Off of an HCCI Engine using a Multi-Hole Injector.
Conference
·
Tue Jan 01 00:00:00 EST 2019
·
OSTI ID:1512059
Lines of Code for Software Estimating - Time for a Reality Check.
Conference
·
Tue Jul 01 00:00:00 EDT 2008
·
OSTI ID:1512059
Improving the NOx-CO2 Trade-Off of an HCCI Engine using a Multi-Hole Injector.
Conference
·
Sun Oct 01 00:00:00 EDT 2006
·
OSTI ID:1512059