TLA+ (Temporal Logic of Actions), a programming language for modeling programs and systems, especially concurrent and distributed ones, moves from Microsoft’s jurisdiction to the Linux Foundation and gets its own separate foundation to promote it.
THE TLA+ Foundation, an independent, non-profit organization dedicated to promoting the adoption and development of the language, was launched by the Linux Foundation on April 21. The TLA+ Foundation will provide education and training, fund research, develop tools and create a community of practice. Early members of the TLA+ Foundation include Oracle, Microsoft, and Amazon Web Services (AWS).
The TLA+ language has been used to verify complex software systems, reduce errors and improve reliability, the Linux Foundation said. The language claims to detect design flaws early in the development process to save resources and time.
TLA+ is based on the idea that the best way to describe things accurately is to use simple math. TLA+ and its tools, according to the Linux Foundation, are useful in eliminating fundamental design errors that are hard to find and expensive to fix in code. The language was invented by computer scientist Leslie Lamport, now a prominent Microsoft Research scientist.
Among TLA+ users is Oracle, which has used the language to model more than 25 Oracle Cloud Infrastructure services, including block storage and file storage services, and verify the correctness of complex design scenarios. , including distributed replication, failover, and live forwarding. -share.
Copyright © 2023 IDG Communications, Inc.