欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenSAF
您可以在Wikipedia上了解到此条目的英文信息 OpenSAF Thanks, Wikipedia. |
OpenSAF 项目是一个开放源码项目,旨在开发符合 Service Availability Forum(TM) (SA Forum(TM)) 标准的基础平台高可用性中间件。OpenSAF 基金会由领先的通信和计算公司创建,旨在促进 OpenSAF 项目的发展,并加速 OpenSAF 代码库在商业产品中的应用。OpenSAF 代码根据 GNU 宽通用公共许可证 (GNU Lesser General Public License) 2.1版 (LGPL v2.1) 进行授权。任何人均可通过下载代码和为该开发项目提供代码参加 OpenSAF 项目。
OpenSAF™ is an open source community with projects focused on high availability middleware. The goal of OpenSAF projects is to develop HA middleware that is consistent with the Service Availability™ Forum (SA Forum™) specifications. OpenSAF is freely available to anyone under the LGPLv2.1 and anyone may contribute to the code base. The OpenSAF Foundation is a not-for-profit organization established by leading communications and computing companies to facilitate the work of the OpenSAF project and to accelerate the adoption of OpenSAF in commercial products.