Safety Property
Informally a
safety property
expresses that something (bad) will never happen.