Liveness Properties: A liveness property asserts that something good eventually happens, and is used mainly to ensure progress. Liveness properties prevent:
- starvation: Processes not getting the resources they need (e.g., CPU time, locks)
- dormancy: Waiting processes fail to be awakened
- premature termination: Processes killed before they are supposed to be
In general, liveness properties are harder to detect than safety properties.