Safety Property

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