一种基于状态机的编程语言，用于对分布式系统进行形式化建模并系统性检验其正确性。
3721225C#MIT更新于 2个月前
#systematic-testing
“systematic-testing” 相关开源项目
与 systematic-testing 相关的精选 GitHub 开源仓库，附 AI 中文概要与关键数据。
#systematic-testing
与 systematic-testing 相关的精选 GitHub 开源仓库，附 AI 中文概要与关键数据。
一种基于状态机的编程语言，用于对分布式系统进行形式化建模并系统性检验其正确性。