A data driven approach for algebraic loop invariants

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Programming Languages and Systems
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 574-592
2013
Note(s): loop invariant