欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mobicents 是一个高伸缩性、事件驱动的应用服务器、是一款专业的、开放源代码的 VoIP 中间件平台。
Mobicents 是第一个也是唯一开源并被 JAIN SLEE 1.0 认定的产品。被用于语音、视频和电信下一代智能网络(NGIN)的开发中, Mobicents 为 SDP 和 IMS 应用提供了一个高性能的核心引擎。
https://mobicents.dev.java.net/
