Fundamental Concepts

Three fundamental logical relations

• Safety: $p$ unless $q$.
  • Special case: stable $p$.
  • Special case: invariant $p$.
• Progress: $p$ ensures $q$
• Progress: $p$ $|->$ $q$ ($p$ leads-to $q$)