Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

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

Title:	Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Authors:	Yu-Fang Chen Chih-Duo Hong Bow-Yaw Wang Lijun Zhang
Issue Date:	2015-07
Conference:	Computer Aided Verification (CAV 2015) (San Francisco, CA, USA)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39306
Appears in Collections:	資訊科學研究所

Show full item record

Last Week
0

Last month
1

checked on Jan 4, 2023

Check