A Precise Memory Model for Low-Level Bounded Model Checking

Abstract: 
BibTeX
@inproceedings {267114,
author = {Carsten Sinz and Stephan Falke and Florian Merz},
title = {A Precise Memory Model for Low-Level Bounded Model Checking},
booktitle = {5th International Workshop on Systems Software Verification ({SSV} 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/precise-memory-model-low-level-bounded-model-checking},
publisher = {{USENIX} Association},
month = oct,
}