Optimal Guard Synthesis for Memory Safety.

Thomas Dillig, Isil Dillig, Swarat Chaudhuri

Browse the full CAV paper archive.