Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel. Word Level Property Directed Reachability. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020. pages 1-9, IEEE, 2020. [doi]
@inproceedings{KFG20, title = {Word Level Property Directed Reachability}, author = {Hari Govind V. K. and Grigory Fedyukovich and Arie Gurfinkel}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9256434}, researchr = {https://researchr.org/publication/KFG20}, cites = {0}, citedby = {0}, pages = {1-9}, booktitle = {IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020}, publisher = {IEEE}, }