• Clause2Inv: A Generate-Combine...

Treffer: Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference

Title:
Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Authors:
Cao, Weining, Wu, Guangyuan, Xu, Tangzhi, Yao, Yuan, Wei, Hengfeng, Chen, Taolue, Ma, Xiaoxing
Source:
Proceedings of the ACM on Software Engineering. 2(ISSTA):1009-1030
Availability:
http://dl.acm.org/doi/10.1145/3728920
Database:
ACM Full-Text Collection