In formal software specification, a ‘Liveness Property’ mathematically states that:
ABad things will never happen in system execution
BThe program contains zero bugs
CMemory consumption is bounded
DSomething good will eventually happen in system execution
Explanation
Liveness properties guarantee that desired conditions (e.g. task completion, deadlock freedom) will eventually be fulfilled.

No Comments