Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Sy

• 支持扩展虚拟同步的组通信算法形式描述与验证