Para probar que la solución de Peterson es correcta, tenemos que mostrar que:

a) Se preserva la exclusión mutua.

b) Se satisface el requerimiento de progresión.

c) Se cumple el requerimiento de espera limitada.