Mohammad Awedh, Fabio Somenzi. Automatic invariant strengthening to prove properties in bounded model checking. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 1073-1076, ACM, 2006. [doi]
@inproceedings{AwedhS06,
title = {Automatic invariant strengthening to prove properties in bounded model checking},
author = {Mohammad Awedh and Fabio Somenzi},
year = {2006},
doi = {10.1145/1146909.1147180},
url = {http://doi.acm.org/10.1145/1146909.1147180},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/AwedhS06},
cites = {0},
citedby = {0},
pages = {1073-1076},
booktitle = {Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006},
editor = {Ellen Sentovich},
publisher = {ACM},
isbn = {1-59593-381-6},
}