Liveness and Acceleration in Parameterized Verification.

Amir Pnueli, Elad Shahar

Browse the full CAV paper archive.