Verifying Liveness by Augmented Abstraction.

Yonit Kesten, Amir Pnueli

Browse the full CSL paper archive.