Quote: want to prove safety properties (e.g., no incorrect output) and liveness properties (e.g., termination of program)

Quotation Skeleton

There are two types of properties one wants … liveness properties, which state that something good must … and termination is a liveness property, stating that …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safety, liveness, and system properties (22 items)