Safety and Liveness in Distributed system

Safety: Something that must never happen in a correct system. Liveness: Something that must eventually happen in a correct system.. We will use a banking system as an example in this article. Safety: We can't let users withdraw or transfer more money...