TLA+

Linux基金會旗下成立TLA+基金會，由微軟、甲骨文和AWS擔任創始會員，除了要進一步發展TLA+，還要促進該語言在工業界、學術界和教育界的應用