Proving Liveness by Backwards Reachability.

Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena

Browse the full CONCUR paper archive.