Jialun Cao, Yongjian Li, Jun Pang 0001
L-CMP: an automatic learning-based parameterized verification tool
ASE, 2018.
@inproceedings{ASE-2018-CaoLP,
author = "Jialun Cao and Yongjian Li and Jun Pang 0001",
booktitle = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
doi = "10.1145/3238147.3240487",
pages = "892--895",
publisher = "{ACM}",
title = "{L-CMP: an automatic learning-based parameterized verification tool}",
year = 2018,
}