#verificacion-formal

2 artículos

Un ingeniero revisa notas técnicas junto a una pizarra con diagramas de estados y una base de datos SQLite abierta en una terminal.

sqlite 3 jul 2026

El bug de SQLite que duró 16 años

Cómo un bug de SQLite en WAL sobrevivió 16 años y qué nos enseña TLA+ sobre verificación formal, especialmente si trabajas con software crítico en Latinoamérica o Ecuador. Te explicamos el contexto, el impacto técnico y qué pasos concretos tomar en LatAm.

Leer artículo

Una persona revisa diagramas y notas técnicas sobre una mesa con una laptop abierta, mientras al fondo se ve una pantalla con código y documentación de SQLite.

bases-de-datos 3 jul 2026

SQLite y TLA+: el bug de 16 años

SQLite y TLA+ se cruzan en un caso real que encontró un bug de 16 años en WAL. Aquí ves por qué la verificación formal importa para bases embebidas, qué riesgos evita en producción y qué le deja a equipos en LatAm.

Leer artículo