Liveness

For a project or a computational program, liveness is about being alive, and it can be stated as a formal logical condition:

Something good must happen with the explicitly stated logical boundaries.

Where good is some kind of desirable and detectable condition. Safety is a logically derived property that states:

Nothing bad happens given the explicitly stated logical boundaries.