Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39003

Title:	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Authors:	Yungbum Jung Wonchan Lee Bow-Yaw Wang Kwangkeun Yi
Issue Date:	2011-03
Conference:	Tools and Algorithms for Construction and Analysis of Systems (Saarbrücken, Germany)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39003
Appears in Collections:	資訊科學研究所

Show full item record

Check