La superestabilización de protocolos garantiza que durante la nueva configuración de sistema (según los acontecimientos de nueva configuración de tipo ) un predicado de paso es satisified que, aunque más débil que él de un sistema correcto, es el alféizar bastante fuerte para ser útil.