Formally Verifiable Routing Bridging Formal Theories and Distributed Implementations

• Overview
• Contributions
• Video
• People
• Publications
• Funding

Video

Videos are best viewed in 720p and full screen mode.

Pair-wise Minimal Cost (MinCost) Protocol