Examples of such properties might be “If a communication channel has not failed, then messages will be propagated along it,” and “If a process has not restarted, then it retains its local state, modulo any intentional modifications.
Examples ofsuch properties might be “If a communication channel has not failed, thenmessages will be propagated alongit,” and “If a process has not restarted,then it retains its local state, moduloany intentional modifications.