Liveness Property

Informally a liveness property expresses that something (good) will eventually happen.