Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.

Patrick Cousot, Radhia Cousot, Francesco Logozzo

Browse the full VMCAI paper archive.