Proving Liveness of Parameterized Programs.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Browse the full LICS paper archive.