@inproceedings{CLP19, author = {Y. Li and J. Cao and J. Pang}, title = {A learning-based framework for automatic parameterized verification}, booktitle = {Proc.\ 37th IEEE International Conference on Computer Design (ICCD'19)}, publisher = {IEEE Computer Society}, year = {2019}, pages = {450-459} }