Compositional Termination Analysis of Symbolic Forward Analysis.

Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski

Browse the full VMCAI paper archive.