Gadiel Auerbach, Fady Copty, Viresh Paruthi. Formal verification of arbiters using property strengthening and underapproximations. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 21-24, IEEE, 2010. [doi]
@inproceedings{AuerbachCP10,
title = {Formal verification of arbiters using property strengthening and underapproximations},
author = {Gadiel Auerbach and Fady Copty and Viresh Paruthi},
year = {2010},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770928},
researchr = {https://researchr.org/publication/AuerbachCP10},
cites = {0},
citedby = {0},
pages = {21-24},
booktitle = {Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23},
editor = {Roderick Bloem and Natasha Sharygina},
publisher = {IEEE},
}