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