Linux基金会推出新的TLA+基金会

Linux基金会本月宣布成立一个名为TLA+基金会的独立非营利组织形式的新组织。TLA+基金会(TLAF)致力于促进TLA+规范语言在工业界、学术界和教育界的采用，其总体目标是推进软件工程中的数学思维。TLAF资助与TLA+相关的开发，以扩大其用途并促进繁荣的TLA+社区，鼓励该社区成员之间的合作。

Linux基金会执行董事JimZemlin表示：“TLA+基金会的成立表明了为整个软件行业的利益推进TLA+语言的使用和开发的承诺。”“随着世界对分布式系统的依赖不断增长，对于开发人员而言，拥有TLA+的功能来正式建模和验证系统是否按预期运行非常重要。”

TLA+基金会

“TLA+基金会将促进采用、提供教育和培训资源、资助研究、开发工具并建立TLA+从业者社区。TLA+基金会作为语言委员会的角色将保证TLA+语言的不断完善和演进。TLA+基金会将就语言增强做出决策，解决用户反馈和需求，保持高安全性和可靠性标准，并指导语言的发展以更好地服务于其用户群。”

“AWS致力于为我们的客户提供高质量的服务，这就是为什么我们的自动推理团队多年来一直依赖形式规范和模型检查等技术来解决关键系统中的困难设计问题。TLA+是我们工具箱中的一个强大工具，可以帮助我们验证我们的软件系统在假设条件下的正确性。通过加入TLA+基金会，我们旨在支持TLA+工具的进步，并进一步提高分布式系统设计的最新水平，”AWS副总裁兼杰出科学家ByronCook说。

“在整个Microsoft中，越来越多的工程团队一直依赖TLA+来指定和验证其算法和软件系统的正确性。使用TLA+的工程团队报告说，在工程生命周期的早期精确定义系统和验证它们具有巨大的价值。TLA+工具有助于在编写一行代码之前识别他们的设计问题。通过加入TLA+基金会，我们的目标是培养一个非常关心设计正确的分布式系统的TLA+从业者社区。”微软技术研究员DharmaShukla说。

　　免责声明：本文由用户上传，与本网站立场无关。财经信息仅供读者参考，并不构成投资建议。投资者据此操作，风险自担。 如有侵权请联系删除！