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, invariants
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 574-592
2013
Note(s): loop invariant, invariants