欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Blade.org
来自开放百科 - 灰狐
2006年10月，Blade.org推出了Blade.org解决方案计划，帮助最终用户轻松识别能够与BladeCenter服务器平台兼容的产品。一种刀片服务器解决方案要想获得“Blade.org解决方案”标识必须达到几个条件：
- 必须由一家Blade.org的成员公司提供;
- 必须能够与至少另一家Blade.org成员公司的产品协同工作;
- 必须能够在某一客户环境中成功部署。
除满足上述要求之外，Blade.org解决方案在获得这一标识之前还必须通过技术和营销委员会的严格评估。
分享您的观点
