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}
}
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 to My Library
You must Sign In or Create an Account in order to save documents to your library.