An Automatic Proving Approach to Parameterized Verification Log. 19(4): 27:1-27:25 (2018)

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
January 2018
PDF DOI
Type
Conference paper
Publication
ACM Trans. Comput. Log.
Conf