Safety property is a property that must be fulfilled by the system in order for the system to be considered safe.