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

talkingdev • 2023-12-20

1151109 views

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