Markus Wedler, Dominik Stoffel, Wolfgang Kunz. Exploiting state encoding for invariant generation in induction-based property checking. In Masaharu Imai, editor, Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004. pages 424-429, IEEE, 2004. [doi]
@inproceedings{WedlerSK04:0,
title = {Exploiting state encoding for invariant generation in induction-based property checking},
author = {Markus Wedler and Dominik Stoffel and Wolfgang Kunz},
year = {2004},
doi = {10.1145/1015090.1015196},
url = {http://doi.acm.org/10.1145/1015090.1015196},
tags = {rule-based},
researchr = {https://researchr.org/publication/WedlerSK04%3A0},
cites = {0},
citedby = {0},
pages = {424-429},
booktitle = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004},
editor = {Masaharu Imai},
publisher = {IEEE},
isbn = {0-7803-8175-0},
}