Hacker News· mooreds·· 17 小时前AI 评分36
Quint：基于 TLA 的可执行规约语言
An executable specification language based on temporal logic of actions (TLA)
AI 导读
Quint 是一门基于 TLA（Temporal Logic of Actions）的可执行规约语言，面向区块链协议、分布式数据库和 p2p 协议等分布式系统，结合了 TLA 的形式化语义与类型检查和开发工具。
来源：Hacker News · github.com