Definitions of liveness and safetyUpdated onOct 4, 2024dateOct 5, 2024langenslugdefinitions-of-liveness-and-safetystatusPublishedtypeNoteurl🦋 brainTextLiveness properties are that good things do happen and safety properties are that bad things don’t happen.LivenessDefinitionIn this case,SafetyDefinitionIn this case,ReferenceDefining livenessProving the correctness of multiprocess programs
