形式化规格 ↔ 实现 co-design

Wiki 路由

本条目位于 systems index 下。请结合 Threshold BFT 共识 Rust 化潮流 阅读，以获得同业 / 对照背景，并结合 fintech index 阅读，以理解更广泛的系统 / 监管边界。

相关

• Wiki Index
• Threshold BFT 共识 Rust 化潮流
• DAG vs Chain BFT
• 耐量子签名 day-1 集成经济学

来源

• Quint — 基于 TLA 的可执行规格语言（model-based testing / co-design）— https://github.com/informalsystems/quint
• Malachite — Rust 中的 Flexible BFT consensus engine（规格 ↔ 实现 co-design 的对象）— https://github.com/informalsystems/malachite