Pakistan's best MCQs practice hub — FPSC · PPSC · CSS · NTS · Other Exams
Login

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.

Submitted by: mcqstutor Team More Software Engineering MCQs →

No Comments

Leave a comment

Your email address will not be published. Required fields are marked *