Simplifying Loop Invariant Generation Using Splitter Predicates.

Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken

Browse the full CAV paper archive.