Simplifying Loop Invariant Generation Using Splitter Predicates

Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken. Simplifying Loop Invariant Generation Using Splitter Predicates. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 703-719, Springer, 2011. [doi]

Abstract

Abstract is missing.