Towards Automatic Stability Analysis for Rely-Guarantee Proofs.

Hasan Amjad, Richard Bornat

Browse the full VMCAI paper archive.