Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.

Caterina Urban, Antoine Min

Browse the full VMCAI paper archive.