Quint：结合了TLA理论基础和先进的类型检查和开发工具的规范语言

Quint是一种特别适用于分布式系统的规范语言。它结合了Temporal Logic of Actions (TLA)的强大理论基础和最先进的类型检查和开发工具。Quint具有简单和熟悉的语法、表达能力强的类型系统、新颖的效果系统、模拟器、...

Read More