Compositional Formal Verification Secures Complex DAG Consensus Protocols

This compositional TLA+ framework reuses verified components, reducing the proof effort for complex DAG consensus protocols by nearly fifty percent, ensuring robust safety.