Formal Specification ↔ Implementation Co-design

Wiki route

This entry sits under systems index. Read it against Threshold BFT consensus Rust implementation trend for peer / contrast context and fintech index for the broader system / regulatory boundary.

Related

• Wiki Index
• Threshold BFT consensus Rust implementation trend
• DAG vs Chain BFT
• Economics of day-1 integration for quantum-resistant signatures

Sources

• Quint — TLA-based executable specification language（model-based testing / co-design）— https://github.com/informalsystems/quint
• Malachite — Flexible BFT consensus engine in Rust（target of specification ↔ implementation co-design）— https://github.com/informalsystems/malachite