ReLoop: Modelado estructurado y verificación del comportamiento para una optimización fiable basada en LLM.