Safety. What the system is allowed to do. For example, at all times, all committed data is present and correct, or equivalently; at no time can the system have lost or corrupted any committed data.
Safety. What the system is allowed todo. For example, at all times, all committed data is present and correct, orequivalently; at no time can the systemhave lost or corrupted any committeddata.