Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler. Predicate abstraction with adjustable-block encoding. 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 189-197, IEEE, 2010. [doi]
@inproceedings{BeyerKW10,
title = {Predicate abstraction with adjustable-block encoding},
author = {Dirk Beyer and M. Erkan Keremoglu and Philipp Wendler},
year = {2010},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770949},
tags = {abstraction},
researchr = {https://researchr.org/publication/BeyerKW10},
cites = {0},
citedby = {0},
pages = {189-197},
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},
}