References of "Cao, Jialun"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA learning-based framework for automatic parameterized verification
Li, Yongjian; Cao, Jialun; Pang, Jun UL

in Proceedings of the 37th International Conference on Computer Design (ICCD) (2019)

Detailed reference viewed: 29 (0 UL)
Full Text
Peer Reviewed
See detailL-CMP: an automatic learning-based parameterized verification tool
Cao, Jialun; Li, Yongjian; Pang, Jun UL

in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (2018)

Detailed reference viewed: 82 (1 UL)