Liveness
Redirect to:
Safety and liveness properties