Comment by asimpletune

Without any context safety _can_ mean a lot of things, but it's usually used as a property of a system and used alongside liveness.

Basically, safety is "bad things won't happen" and liveness is "good things eventually happen".

This is almost always the way safety is used in a CS context.