Linux 基金会宣布成立 TLA+ 语言基金会

Linux 基金会宣布正式成立 TLA+ 基金会 (TLAF)。致力于促进 TLA+ 规范语言在工业界、学术界和教育界的推广应用，推进软件工程中的数学思维，扩大其用途并促进繁荣的 TLA+ 社区，鼓励社区成员之间的相互合作。创始成员包括 AWS、甲骨文和微软。

TLA+ (Temporal Logic of Actions) 由Leslie Lamport开发的一门形式化验证语言，用于程序的设计、建模、文档和验证等，特别是并发系统和分布式系统。

基金会核心准则：

• 开源.   TLA+ 基金会内心拥抱开源，鼓励开源。
• 给社区赋能 . TLA+ 基金会在筹集资金资助开发工作的同时，也鼓励各个行业，学术，个人参与贡献到社区中。
• 透明化. 所有形式的决策都是将可见的。同时分享想法以避免重复造车。只有少数敏感信息将保密。
• 开放，友好，多元化 .   TLAF基金会欢迎所有人参与，可以参与基金会的常规会议。

官网：https://foundation.tlapl.us/