| 
|
Quote: to prove liveness properties such as termination need to prove safety properties such as monotonic decreases
topics >
all references >
references i-l >
Topic:
safety, liveness, and system properties
Quotation Skeleton
We merely mention that one proves safety properties … liveness property) by first proving that an execution … nonnegative quantity cannot decrease indefinitely, this shows that … property must be invoked to allow the formal … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)