1
Linux 基金会宣布成立 TLA+ 语言基金会
source link: http://osp.io/archives/7911
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Linux 基金会宣布成立 TLA+ 语言基金会 – 开源派
Linux 基金会宣布正式成立 TLA+ 基金会 (TLAF)。致力于促进 TLA+ 规范语言在工业界、学术界和教育界的推广应用，推进软件工程中的数学思维，扩大其用途并促进繁荣的 TLA+ 社区，鼓励社区成员之间的相互合作。创始成员包括 AWS、甲骨文和微软。
TLA+ (Temporal Logic of Actions) 由Leslie Lamport开发的一门形式化验证语言，用于程序的设计、建模、文档和验证等，特别是并发系统和分布式系统。
基金会核心准则：
- 开源. TLA+ 基金会内心拥抱开源，鼓励开源。
- 给社区赋能 . TLA+ 基金会在筹集资金资助开发工作的同时，也鼓励各个行业，学术，个人参与贡献到社区中。
- 透明化. 所有形式的决策都是将可见的。同时分享想法以避免重复造车。只有少数敏感信息将保密。
- 开放，友好，多元化 . TLAF基金会欢迎所有人参与，可以参与基金会的常规会议。
官网：https://foundation.tlapl.us/
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK