The Linux Foundation, the nonprofit tech group that oversees a variety of open-source projects, today announced the creation of the TLA+ Foundation to promote the development and adoption of the TLA+ programming language. AWS, Oracle, and Microsoft are among the founding members.
What exactly is the TLA+ programming language, you might ask? It’s an official “spec” language developed by mathematician and computer scientist Leslie Lamport. Most famous for his groundbreaking work on distributed systems, Lamport is currently an engineer in Microsoft Research who created TLA+ to design, create, model, and document software programs — specifically those that are of the distributed and concurrent varieties.
To provide a few instances, ElasticSearch, the organization behind the search engine with an identical name employed TLA+ to verify the accuracy of their distributed system algorithms. In addition, Thales, the electrical system manufacturing company, employed TLA+ to design and design fault-tolerant modules in its Industrial Control Platform.
Read More:- Does The Linux Foundation sells software licenses for the Linux kernel?
“TLA+ is unique in that it’s intended for specifying a system, rather than for implementing software,” an official Linux Foundation spokesperson told TechCrunch via email. “Based on mathematical concepts, notably set theory and temporal logic, TLA+ allows for the expression of a system’s desired correctness properties in a formal and rigorous manner.”
