Aviso legal

Última actualización: julio de 2026

En cumplimiento de la Ley 34/2002, de 11 de julio, de Servicios de la Sociedad de la Información y de Comercio Electrónico (LSSI-CE), se informa a los usuarios de los datos identificativos del titular de este sitio web.

1. Titularidad del sitio

• Titular: Miguel Martínez Caballero
• NIF: 20620960B
• Domicilio: Pasaje Belén, 17 – 14700 Palma del Río (Córdoba), España
• Nombre comercial: LogicProof AI
• Actividad: software de verificación formal de código (SaaS B2B)
• Correo de contacto y soporte: logicproofai@gmail.com
• Sitio web: https://logicproofai.com

2. Objeto

Este sitio web ofrece información sobre LogicProof AI y da acceso a su servicio de verificación formal de la lógica de negocio del código fuente. El uso del sitio atribuye la condición de usuario e implica la aceptación de este aviso.

3. Condiciones de uso

El usuario se compromete a hacer un uso lícito del sitio, absteniéndose de realizar actividades que puedan dañar, sobrecargar o inutilizar los sistemas, o vulnerar derechos de terceros. El acceso al servicio requiere una API Key personal cuya custodia es responsabilidad del usuario.

4. Propiedad intelectual e industrial

Los contenidos, marcas, logotipos y el software de este sitio son titularidad de LogicProof AI o de sus licenciantes y están protegidos por la normativa de propiedad intelectual e industrial. El código fuente que el cliente envía para análisis sigue siendo íntegramente de su propiedad (ver Política de Privacidad).

5. Responsabilidad

LogicProof AI presta un servicio de análisis y no sustituye la revisión humana ni garantiza la ausencia total de defectos en el código del cliente. Se excluye la responsabilidad por daños derivados del uso o la imposibilidad de uso del sitio en la medida permitida por la ley.

6. Legislación aplicable

Este aviso se rige por la legislación española y de la Unión Europea. Para cualquier controversia, las partes se someten a los juzgados y tribunales que correspondan conforme a derecho.