Quote: liveness is much harder to prove than safety, yet it is just as important; must prove that g() terminates to prove that h() occurs in f;g;h

Quotation Skeleton

Liveness properties are much harder to prove than … easy to prove that the function f is … the control-flow graph. It is much harder to … g. In fact, in many cases, we must … is as important as safety.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safety, liveness, and system properties (22 items)
Topic: proving concurrent programs (37 items)