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