Completeness Thresholds for Memory Safety of Array Traversing Programs.

Tobias Reinhard, Justus Fasse, Bart Jacobs

Browse the full PLDI paper archive.