skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: EUForia: Complete Software Model Checking with Uninterpreted Functions.

Abstract

Abstract not provided.

Authors:
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1592217
Report Number(s):
SAND2019-0254C
Journal ID: ISSN 0302--9743; 671438
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
Resource Relation:
Journal Volume: 11388; Conference: Proposed for presentation at the Verification, Model Checking, and Abstract Interpretation held January 13-15, 2019 in Cascais, Portugal.
Country of Publication:
United States
Language:
English

Citation Formats

Bueno, Denis. EUForia: Complete Software Model Checking with Uninterpreted Functions.. United States: N. p., 2019. Web. doi:10.1007/978-3-030-11245-5_17.
Bueno, Denis. EUForia: Complete Software Model Checking with Uninterpreted Functions.. United States. https://doi.org/10.1007/978-3-030-11245-5_17
Bueno, Denis. 2019. "EUForia: Complete Software Model Checking with Uninterpreted Functions.". United States. https://doi.org/10.1007/978-3-030-11245-5_17. https://www.osti.gov/servlets/purl/1592217.
@article{osti_1592217,
title = {EUForia: Complete Software Model Checking with Uninterpreted Functions.},
author = {Bueno, Denis},
abstractNote = {Abstract not provided.},
doi = {10.1007/978-3-030-11245-5_17},
url = {https://www.osti.gov/biblio/1592217}, journal = {},
issn = {0302--9743},
number = ,
volume = 11388,
place = {United States},
year = {Tue Jan 01 00:00:00 EST 2019},
month = {Tue Jan 01 00:00:00 EST 2019}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: