Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli. Automatic generation of compact formal properties for effective error detection. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2013, Montreal, QC, Canada, September 29 - October 4, 2013. pages 1-10, IEEE, 2013. [doi]
@inproceedings{BertasiGP13,
title = {Automatic generation of compact formal properties for effective error detection},
author = {Michele Bertasi and Giuseppe Di Guglielmo and Graziano Pravadelli},
year = {2013},
doi = {10.1109/CODES-ISSS.2013.6659015},
url = {http://dx.doi.org/10.1109/CODES-ISSS.2013.6659015},
researchr = {https://researchr.org/publication/BertasiGP13},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2013, Montreal, QC, Canada, September 29 - October 4, 2013},
publisher = {IEEE},
}