Automatic Inference of Necessary Preconditions.

Patrick Cousot, Radhia Cousot, Manuel Fhndrich, Francesco Logozzo

Browse the full VMCAI paper archive.