Towards Correct-by-construction Design of Protocols

Devcon 5 side event. Presented the “correct-by-construction” concept and how it is used in CBC Casper, recommending similar approach in a design of Layer2 protocols.

• Slides
• Eventbrite