Model Checking for Stability Analysis in Rely-Guarantee Proofs.

Hasan Amjad, Richard Bornat

Browse the full CADE paper archive.