Fue el 21 de abril que la Fundación Linux creó una fundación dedicada específicamente al lenguaje TLA+que anteriormente era mantenido por Microsoft. La asociación independiente sin fines de lucro tiene como objetivo promover la adopción y el desarrollo del lenguaje de programación TLA+ (Lógica Temporal de Acciones). Este lenguaje permite modelar programas y sistemas, en particular concurrentes y distribuidos. La Fundación TLA+ brindará educación y capacitación, financiará investigaciones, desarrollará herramientas y creará una comunidad de profesionales. Los primeros miembros de la Fundación TLA+ son Oracle, Microsoft y Amazon Web Services (AWS).

Según la Fundación Linux, el lenguaje TLA+ se ha utilizado para verificar sistemas de software complejos, reducir errores y mejorar la confiabilidad. Se supone que este lenguaje detecta fallas de diseño en las primeras etapas del proceso de desarrollo para ahorrar recursos y tiempo. TLA+ se basa en la idea de que la mejor manera de describir cosas con precisión es utilizar matemáticas simples. Según la Fundación Linux, TLA+ y sus herramientas son útiles para eliminar errores de diseño fundamentales que son difíciles de encontrar en el código y costosos de corregir.

El idioma fue inventado por la científica informática leslie lamportahora un investigador distinguido en Microsoft Research. Los usuarios de TLA+ incluyen a Oracle, que ha utilizado el lenguaje para modelar más de 25 servicios de Oracle Cloud Infrastructure, incluidos servicios de almacenamiento de archivos y bloques, y para verificar la exactitud de escenarios de diseño complejos, incluida la replicación distribuida, la conmutación por error y la fragmentación en vivo.