En términos más formales, un sistema se encuentra en un estado seguro si existe una secuencia segura.