Statebox

构建可视化、经过正式验证的流程语言 Statebox简介 Statebox 正在使用强大的数学原理，构建可视化、经过正式验证的流程语言，以防止错误发生。该语言是可视的，并允许用户在执行时检查程序的流程。这些属性使 Statebox 适用于分布式系统、区块链、工作流管理系统、应用程序编排、系统架构等。