Next: Fairness Property Up: Specifying with Temporal Logic Previous: (Simple) Liveness Property Contents
A deadlock-freeness property claims, that the system can never be in a situation in which no progress is possible. A very general version of deadlock-freeness is represented by [34]:99 as AGEX 
.