Safety propertySafety (Distributed Computing) is a guarantee that a system will never reach an undesirable state.