Liveness property

Redirect to:

• Safety and liveness properties